Какой вам ещё OCaml-шмакамл? Это древнейший стрелочный патриарх, ископаемое из палеозойской эры функционального программирования: "смотрите, они уже тогда пытались вывести монаду из-под контроля!"

OCaml сделан с той первобытной непосредственностью, с которой неандерталец впервые догадался использовать палку. Под личиной F# он идеально вписывается в мэйнстрим: все "промышленные" языки — это исторически сложившиеся техногенные катастрофы. Унаследовали миллионы строк кода? Поздравляем, ваш язык теперь официально "практичный". ML просто ждёт своего часа, чтобы присоединиться к этому пантеону уродцев.

Программист на OCaml уже вкусил запретный плод чистых функций, но его психика ещё не готова смотреть в бездну высших уровней куба Барендрехта без последствий.

А типичный фисярп-крестоносец — это шизофрения в чистом виде. Днём он на работе вкалывает на Си-образных ассемблероподобных конструктах C++/C#, отлавливая утечки памяти и выстрелы в ногу, а вечером, чтобы успокоиться, пишет на ML, убеждая себя, что это "близко к математике". Это не карьера, а когнитивная ломка на постоянной основе.

(обратите внимание на модную одежду на картинке: ничего не напоминает? :) а это 1971-й год)