3. Проектирование с помощью типов: Делаем недопустимые состояния непредставимыми

[Filipp42]

Эх... С монадами код был бы краше...

[kleidemos]

По моему, в этой статье примеры ещё не позволяют себя улучшить посредством монад.

[markshevchenko]

Про монады в F# у Влащина есть другой цикл. Который уже переведён на русский: https://habr.com/ru/articles/840106/

[markshevchenko]

В сообществе F# настороженно относятся к так называемые тайп астронавтике. Вот что об этом написал Дон Сайм, создатель языка: https://github.com/fsharp/fslang-suggestions/issues/243#issuecomment-916079347

Есть разногласия по вопросу, что считать типизацией здорового человека.