FP is dead

[thedeemon]

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

Comments

[bvlb.livejournal.com]

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

[thedeemon.livejournal.com]

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

[109.livejournal.com]

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

[singularitty.livejournal.com]

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

[dmzlj.livejournal.com]

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

[juan-gandhi.livejournal.com]

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

[sassa-nf.livejournal.com]

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

[os80.livejournal.com]

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

[juan-gandhi.livejournal.com]

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

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

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

[zeit-raffer.livejournal.com]

2025 год. GoF публикуют в O'Reily тысячестраничный талмуд "125 основных архитектурных применений расширений Кана сохраняющих пределы функторов". Joshua Bloch издаёт бестселлер "Effective Kan". Страуструп на очередном заседании комитета по стандартизации С++ говорит, что предложения по введению категорных пределов недостаточно продуманы и требуют доработки. На интервью поступающих в украинские бодишопы спрашивают определение 2-топоса. Уодлер по вердикту функциональной инквизиции прилюдно отрекается от параметричности, добавляя шепотом "а все-таки она бесплатная!"

[gineer.livejournal.com]

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

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

[algebraic-brain.livejournal.com]

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

[justy-tylor.livejournal.com]

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

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

[dmzlj.livejournal.com]

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

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

[nivanych.livejournal.com]

> Все основные языки впитали в себя (или взросли на) СП
> и тема рассосалась

Вот когда проникнет в mainstream, скажем, на уровне системы типов, ну скажем, идриса, вот тогда поверю.
А так — даже на уровне хаскеля нет ничего же.

> расширение линз Кана вправо-вверх
> вдоль контравариантного функтора еще выстрелит?

К системе типов (и соответственно, устройству языка) это имеет только то отношение, что в "хорошей" системе такое можно описать более полно.

[thedeemon.livejournal.com]

На уровне идриса не проникнет, эти ваши завтипы - dead end.

Вот liquid types в том или ином виде - еще может быть.

[beroal.livejournal.com]

Что тема закрыта — это прекрасно. Не люблю оголтелую рекламу и перевозбуждённых людей. По-моему, они только хуже делают: распространяют ахинею и мешают работать.

Насчёт того, что «языки впитали», вы переоцениваете эти языки. Функциональное программирование — это один эпизод вторжения математики в программирование. Программисты долго выпихивали математику в дверь, а она влезла в окно. И будет влезать не раз, потому что она сильнее. Cравните историю и интеллектуальный уровень математики и программирования — слон и Моська.

[Игорь Петров (from livejournal.com)]

В древней Греции жил и творил художник Зевксис, про которого рассказывали, что он мог написать виноград так хорошо, что птицы слетались и клевали изображение.
Да художник и сам - если верить историям о нем - путал вещи и их изображения. Также из этих историй известно, что он получал изображения людей комбинируя лучшие части разных и смело приставляя губы Никанора Ивановича к носу Ивана Кузьмича.
Теперь уже очевидно, что про все нынешние основные языки будут рассказывать, что некоторые программисты считали, будто бы они впитали в себя полезные части ФП и даже пытались эти части использовать.
Кстати, Зевксис, якобы, умер от смеха - видимо в момент, когда очередной изголодавшийся Буратино проколол носом нарисованный котелок. Не исключено, что что-то такое может случиться и с некоторыми современными зевксисами, подарившими нам "впитавшие полезные части ФП" языки.

[grey-kristy.livejournal.com]

Нет, еще далеко не все полезное перешло в мейнстрим
Pattern matching например, еще нигде не видно.

Но в целом да, все постепенно перезжает

[dewshick.livejournal.com]

scala? не говоря уже про python/ruby

[thedeemon.livejournal.com]

Молодые языки (Rust, Swift, Haxe, Elm, ...) все с паттерн-матчингом. В C# то ли добавляют, то ли уже. Остальные мастодонты подтянутся за C#, хоть и с опозданием как обычно.

[justy-tylor.livejournal.com]

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

[dewshick.livejournal.com]

из относительно мейнстримного разве что кложа выросла на ФП по-моему. можно говорить про скалу, но с тем же успехом можно и про плюсы, жаву итп.
по мере того, как мейнстримные языки и ООПэ будут заменяться, начнут вылезать другие проблемы, и возможно даже расширения линз Кана вправо-вверх вдоль контравариантного функтора выстрелят

[max630.livejournal.com]

жаль, очень жаль, что ADT и pattern matching не прошли в мейнстрим. А так да, похоже на то.

[thedeemon.livejournal.com]

Они потихоньку туда ползут. И новые языки уже с ПМ рождаются часто.