@ymn
ymn

Я джва года этого ждал: https://github.com/bamboo/IdrisUnityPlayground
Теперь буду хотеть так же делать >_>

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

Нашел интересное чтиво: "Building Verified Program Analyzers in Coq" http://www.irisa.fr/celtiqu...eaching/digicosme13/

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

Reviewing the second year of OCaml Labs in 2014 http://anil.recoil.org/2015...abs-2014-review.html

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

Advanced Functional Programming
http://www.cl.cam.ac.uk/tea...5/L28/materials.html
лекции по системе типов камля с уклоном в матан, свежатинка, с гадтами и staging'ом

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

Бля, че-та глянул тут на паттерны и охуел. Они называют паттернами то, что я делаю постоянно, потому что это логично и нормально вписывается в архитектуру. Получается я знаю тучу паттернов, но не знаю, что знаю паттерны. Хуиты напридумывали, блядь, хипстеры ебаные.

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

Получил бумажный перевод "Real World OCaml" от ДМК. Всё хорошо, но вот мягкий переплет...

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

"Разработчики TLS-имплементации на языке OCaml объявили конкурс BTC Piñata" http://habrahabr.ru/post/250339/ // сорь за пиар хабраши

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

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

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