Мои достаточно отпимистичные мысли насчет функциональщины. 1. подкаст по теме f#, в описании в целом об ФП. что касается F# языка выразительный, акромя ФП, имеем строгую типизацию(для вывода типа он должен быть определен выше - автоматически получаем контроль циклических зависимостей), типы суммы и произведения (избавляемя от лишних состояний), плюс ко всему можно собрать все функции в ООП и юзать в крупных проектах. ФП по сути лишь ядро F#. надо рассматривать более чистные ФП ЯП, типа кложуры.