← All posts tagged OCaml

ymn
OCaml Coq <gds> проверка императивного алгоритма буферизованного чтения: gds.livejournal.com (Coq, OCaml)
<f[x]> "тогда я взял coq"
<gds> и твёрдо сжал его правой рукой.
<gds> после нескольких несложных действий я понял, что всё реально, всё в моих руках, и конец будет достигнут.

chatlogs.jabber.ru
ymn
dev OCaml Посоны, что обычно спрашивают у кандидатов на джуниорские позиции? Алгоритмы? Базовые вопросы по синтаксису?
ymn
OCaml Запилил между делом Виолу-Джонса на первотеге. По ощущениям работает раз в 30 медленнее OpenCV. Сейчас надо выжать максимум скорости и можно будет цеплять к самодельному терминатору для истребления человеков. Слава роботам!