hugeping> Отдушина от сложных вещей.
Знаю, что продолжаю пинать мёртвую лошадь, но чем-то мне это очень близко, наверное.
Всё относительно. Сидел, недавно, ковырял примеры к курсу Д.Харрисона "Введение в функциональное программирование". Там простой парсер, простая реализация Пролога на его основе и простая же система доказательства теорем. Всё написано на Caml light, но я перенес их для себя на OCaml для упрощения. Так не сразу разобрался во всех нюансах и казалось, что не так всё там просто. А после того, как разобрался, то не просто, а очень даже элементарно :)
Кстати, для тех, кто в теме, вот неплохой список литературы:
https://alexott.net/ru/fp/books/