FP is dead

[thedeemon]

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

Comments

[bvlb.livejournal.com]

Это просто вы в хороших интернетах живете. В ЖЖ конечно фп рулит, а например в скайп-чатах различных украинских айти-сообществ научились пугать словом "монада" - вот до сюда ровно прогресс пока что и дошел.

[dmzlj.livejournal.com]

даже хаскелл впитал в себя что-то из функционального программирования, надо признать.

[juan-gandhi.livejournal.com]

Да, хаскелл неплохо бы проапгрейдить.

[sassa-nf.livejournal.com]

Тогда давайте уже начинать обсуждать эти самые расширения Кана. Того и гляди, добавят.

[juan-gandhi.livejournal.com]

Хорошая тема.

Если уж у нас в конторе вдруг возникает вопрос разницы между монадой и апликативным функтором... дожили, блин, до светлого дня.

Студент у меня на экзамене пишет какую-то херню про функтор тож. Я их этому не учил.

[os80.livejournal.com]

Расшифруйте для несведущих, пожалуйста. Понимаю, что объяснять шутки это моветон, но иногда можно :-)

[thedeemon.livejournal.com]

А он дальше и не пойдет, монады не прошли рубеж полезности, так и останутся пугалом для большинства.

[os80.livejournal.com]

Инициатива наказуема, так что с Вас туториал «расширения Кана для чайников за 21 минуту» :-)

[nponeccop.livejournal.com]

Ну, в хаскеле несерьёзное отношение к рантайм-ошибкам и системе типов. Есть, куда расти.

[os80.livejournal.com]

А серьёзное где?

[gineer.livejournal.com]

ни... фи... га... себе

получается я не зря сидел на берегу этой реки. %)

[algebraic-brain.livejournal.com]

О, хорошая формулировка.

[109.livejournal.com]

what the fuck? я столько времени потратил, пытаясь понять, что такое монада!

[juan-gandhi.livejournal.com]

Хм, ну если декларируется функциональность, так уже давайте избавимся от функции head, которая и не функция вовсе - к примеру говоря.

[justy-tylor.livejournal.com]

В мейнстриме пока плохо с tail call optimization. Кстати, в немалой степени из-за тех древних мракобесов, которые пиарили тупо удаление goto, а не введение кошерной замены.

А в остальном всё так. Не из-за самих абстракций, которые могут когда-то сработать лучше, а из-за специфики их реализаций в сегодняшнем FP.

[singularitty.livejournal.com]

Украинофобия

[sassa-nf.livejournal.com]

нутк тогда придётся и от функции println избавиться кое-где

[juan-gandhi.livejournal.com]

в монаде - пожалуйста

[thedeemon.livejournal.com]

Ну вот, заимел стратегическое преимущество над неграмотным большинством! :)

[dmzlj.livejournal.com]

Да в мейнстриме вообще всё плохо. Все только многозначительно кивают на какие-то "мейнстримовые языки", а копнешь - одно с убогим синтаксисом, отсуствием типизации и генерит тормозные бинарники размером больше, чем у хаскелла (и нет на мипсе), и устарело лет на тридцать в момент появления на свет, второе никак не родится, ломает совместимость и есть мнение, что слишком сложно для идиота и не слишком умное для не-идиота, т.е не найдет свою ЦА (и нет на мипсе), третье имеет причудливый синтаксис, убогую типизацию, медленно компилирует и вообще гвоздями прибито к JVM-у (и нет на мипсе)...

Короче - как был один Си, так и остался в этом вашем мейстриме. Убогий, но прекрасный, как первая рыба, выбравшаяся на сушу.

[thedeemon.livejournal.com]

Пиши на Идрисе, он через Си компилируется. :)

[dmzlj.livejournal.com]

значит тормозной!

[sassa-nf.livejournal.com]

ну так и head в монаде ничего :)

[109.livejournal.com]

так ты ж говоришь, что теперь не пригодится :)

[thedeemon.livejournal.com]

Тут как со многими вещами из computer science и математики: можно их не знать и вполне справляться с работой среднего программиста (и говорить "не пригодилось"), а можно знать, и иногда это помогает решать какие-то задачи лучше или просто мыслить о проблеме более грамотно и системно. Но пока не узнаешь, не пригодится точно.