мне интересно не именно пересечение ООП с ФП (по замыслу Одерски, как я понял из его же книги, одно без другого не идет, а дополняет).
мне интересно сам процесс именно ФП без ООП. мой максимум за несколько месяцев - понял что такое Моноид и как его применить.
Я бы сказал, это гегельянская диалектика, где в своём развитии ФП генерирует метаподходы, где ФП уже быть не может. Всё, что описано в ФП стиле остаётся в хостовом языке - остаётся некоторая "семантика", заложенная в данных. И когда эта "семантика" описывает процедуры, там снова самозарождается ООП