Я уже описал, но это скорее про принятые архитектурные приемы и их недостатки.
Если про проблемы в общем, то это GC-проблемы, лень-проблемы и т.п. Общее для всех ФП языков, на самом деле.
Ну т.е. всё серьёзно настолько хорошо, что рассказ про ФП занимает два предложения, а про ООП-специфичные проблемы пишут книги?