Някой хора си имат представа. От твоя първоначален постинг обаче, нещо не личеше че ти имаш някаква предства (защо я замеси тая еркурсия, сега половината постинги не са по темата).

Има ли хляб във функционалния стил?
Отговорът е, че за някой хляб има, за други има само боза.
Функционалния стил е чист, верифицируем и много по-лесен за разбиране и анализ.
От друга страна се иска известен опит за работа в този стил, но не нещо което един математик да не е виждал. (например теоремата на Гьодел за непълнота се прави точно като се изпрограмира една функция - верификатора на доказателства за N, точно във функционален стил.)

** G.Kreisel is googling (WhyFP?)

Ето една класическа статия (не че е най-добрата или най-известната, просто е достатъчно добра и известна).
http://www.md.chalmers.se/~rjmh/Papers/whyfp.html

Въпросния "ЦАМЛ" е най-вероятно Caml. Езика си има разширение: OCaml (Objective Caml) и някой хора пишат на него. Става.

По темата за образованието:
Ако искаш добри отговори, задавай добри въпроси.

Microsoft is not the answer. It is the question, and the answer is no.