Языки программирования, взорвавшие мой мозг +53
Публикации с тегом ocaml
Формальная верификация кода на Coq: тактики +4
Пишем эмулятор Game Boy на OCaml +17
Статически-типизированный Python — всё украдено до нас? +2
Let vs where в Ocaml/Haskell +16
Реализация расширения Active Patterns для языка OCaml +7
Сравнение одинакового проекта в Rust, Haskell, C++, Python, Scala и OCaml +76
Приглашаем на конференцию FPConf 2017 +15
OCaml и RESTful JSON API с использованием Eliom +14
Как я нашёл баг в процессорах Intel Skylake +140
Скоро ICFPC 2016 +12
Как сделать Laser Squad из XCOM: этюд для GDB в OSX +11
