Посты gds (Dmitry Grebeniuk <gdsfh1@gmail.com>), связанные с OCaml и рядом-лежащими штуками, в хронологическом порядке (первые — старые):

• Коаны
• Краткая характеристика ООП в окамле
• Профанация про индукцию/коиндукцию
• Паттерн "Фантомные Типы" для реализации части функциональности паттерна "Зависимые Типы"
• Сортированные списки с проверкой сортированности через типизацию
• Subtyping / Подтипизация
• Х-ь идёт к успеху (shootout + -server)
• ocaml-lazy-labelled - помеченные ленивые значения
• Завязывание узлов (tying knots) средствами ocaml-lazy-labelled
• Гибкая и универсальная генерация mapM по монаде и по функтору
• Проектирование простого протокола поверх итератов
• OVerbld -- почему это может быть лучше системных пакетов
• Аппликативные функторы
• Вложенные аппликативные функторы