L
Попытаюсь вкратце сформулировать.
Иванов противопоставляет не FP прочему, а именно декларативный стиль императивному.
И его пойнт в том. что декларативный стиль начинается именно с лямбд как примитива.
И вот, он развлекается написанием лиспа на 1С,
а также монад на C++ и питоне (второе - в учебных роликах)