@gds

Тег fp в блоге gds

gds

У меня спрашивают, где бы найти кошерных видеолекций по функциональщине, алгоритмам, и по computer science в целом, а я не знаю (потому что не понимаю, как можно всё это смотреть и слушать, не мой формат). Подскажете человеку?

#vrtpk 3
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

(via avkarpich) Вдруг кто-нибудь захочет в Москве пописать на Isabelle/HOL -- https://www.linux.org.ru/forum/job/11244226

#ovrlnv
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

"ЗаяцШЩ, M, T, стрелка и отбивная монада с горошком" [nivanych]

#ovrsju 2
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

"Если дать человеку несколько монад, он будет сыт говном неделю. Если дать монадные трансформеры — он будет сыт всю жизнь." [А.Эйнштейн]

#ovqarx
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

Только недавно узнал, что нельзя просто так поехать в сраную сша'шку и сказать "я хочу тут жыдь" (и работать камлоёбом, например).
При том количестве говна, которое у них уже есть.
И при том качестве меня, которое у меня уже давно есть.
Непонятно.
Или понятно? Аргументируйте.

#tstzs 9
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

[Paul Snively]

#tsiby
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

http://homes.cs.washington....12/dep-destruct.html -- грамотно про dependent destruction.

#tbpey
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

Вон чо ygrek нашёл:

#tuygx
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

есть тут жуниор, который хочет применить себя в погромировании. Ему предлагают какое-то говноедство типа жабы, но мне больно смотреть на это. Есть чо нормальное? (функциональщина какая-то было бы ок. благо, учить её всего неделю до начала применения знаний в реальных проектах.) Удалёнка и относительно гибкий график нужны, понятное дело. То, что жуниор -- не страшно, я ему помогу, мозги у человека есть, желание развиваться есть. (а времени у него не очень много, пока он не может кормить себя погромированием. Но, если он вам понравится, и если предложите денежку, думаю, он согласится уйти с текущей работы, которая тоже говноедство то ещё.)

#tswfb 6
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

https://bitbucket.org/gds/o...tip/lib/incrcomp.mli
Суть токова: меня достало то, что нужно уметь простые типа-ленивые вычисления, но с умным перевычислением, если что изменилось, но при взгляде на frp / react как-то всё падает.
Я кое-кому говорил, что уложусь в 10 строчек велосипеда -- так вот, ошибся, но потому, что хотел сделать относительно общо. Получилось вроде миленько, однако, прошу, покритикуйте идею, апи, инглиш, да и всё вообще. Моё ниасиляторство react'а, например, тоже можно.

#tblxl
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

Таки дошли руки до симуляции перегрызенного кабеля (спрашивал в #ntukz).
Хорошо иногда бывает параметризовать код IO-манаткой. Получилось так: https://gist.github.com/gdsfh/c0aa2733a6d09b49f894 . Работает замечательно. Благодаря fail_seed можно получать детерминированные фейлы, что помогает при отладке.
А отладка заключалась в том, что Lwt.join как-то странно себя ведёт. В документации сказано "падает, если какой-то из тредов падает", тогда как в реальном случае висит: http://pastebin.com/scLnbQ2A . Вотзефак?

#tuxkg
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

[..] мне доводилось писать код, но это было во времена моей далекой юности. [..] И работал программистом где-то до 2004 года [..] после 2004 года профессионально разработкой я уже не занимался.
я могу себя описать как «человек, написавший много книг по функциональному программированию и нескольким смежным темам»

"И всё у них так".

#nwqmq 3
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
gds

#ogwj
Вы можете выбрать до 10 файлов общим размером не более 10 МБ.

Добавить пост

Вы можете выбрать до 10 файлов общим размером не более 10 МБ.
Для форматирования текста используется Markdown.