Ocaml я пользовался и не раз - в основном в ситуациях, когда надо что-то не очень долгоживущее сваять с хитрыми структурами данных - например был оптимизатор ассемблера для одного левого проца, там Zilog все время менял спецификации про планирование инструкций и прочую фигню - потому нас задрало код править и мы решили это на программку спихнуть, чтобы править только оптимизатор. Заодно еще кое-что подоптимизировать.

На O'Caml все вышло 1000 строчек. С парсером, всякими DFA, перераспределением регистров и прочей лабудой.

А Haskell - да. Писать на нем нельзя (и наверное - и всегда так будет), но знать его очень полезно. Просто, чтобы быть в курсе дела.