FP is dead

[thedeemon]

.. as a topic. Помните, было такое "структурное программирование"? Люди в чатиках конца шестидесятых срались на тему СП vs. GoTo, кричали "considered harmful!", писали посты на своих печатных машинках, такая движуха была. И где оно все, почему прекратились срачи? Все основные языки впитали в себя (или взросли на) СП, и тема рассосалась. Наблюдая за интенсивностью тем об ФП на разных форумах, в ЖЖ, в журнале ПФП и прочих интернетах, в этом году могу констатировать аналогичную ситуацию: ФП как темы больше нет, расходимся. Все основные языки впитали в себя (или взросли на) ФП, по крайней мере полезные его части (первоклассные функции, ФВП, лямбды, замыкания, иммутабельность, произведение типов, копроизведение типов, экспонента, применение этого всего в первую очередь в виде map/filter/reduce), а бесполезные части оказались выкинуты на задворки, в уголке музея эзотерики на них всегда можно будет полюбоваться, но в основном только там. Думаете, другая часть ФП еще себя покажет, и расширение линз Кана вправо-вверх вдоль контравариантного функтора еще выстрелит? Не будет этого, dead end.

Comments

[sassa-nf.livejournal.com]

дык, это же Exception monad. Можно даже явно где-то catch написать. Более того, о том же и речь, что (скажем, скальный) println в монаде неявно точно так же, как head.

[nponeccop.livejournal.com]

Ну тут более одного решения. Эффект можно обозначить или устранить. head может или возвращать эффект, или принимать непустой список, или принимать список и отдельным параметром витнесса его непустоты. Ну, вы поняли. Фантомные витнессы довольно выразительны даже в System F, но у нас не настоящая логическая система в системе типов, т.к. ложь есть в аксиомах :(  В-общем, множественные проблемы.