мне интересно не именно пересечение ООП с ФП (по замыслу Одерски, как я понял из его же книги, одно без другого не идет, а дополняет).
мне интересно сам процесс именно ФП без ООП. мой максимум за несколько месяцев - понял что такое Моноид и как его применить.
Берёшь Coq и его 4 книжки, там самое пьюрное ФП на верхнем углу лямбда куба. На поиграться - самое то, но к промышленно применимому ФП имеет отношения мало.