FP is dead

[thedeemon]

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

Comments

[thesz.livejournal.com]

В L4 количество кода 8,7К строк. Цена верификации людьми составляет $1000/строка (тысяча долларов за строку, или десять человекочасов за строку). Цена разработки L4 составила что-то в районе $16M - более, чем в пять раз меньше.

Если это не понижение стоимости на две трети порядка (практически на порядок - оценка в 16М это по верхнему пределу в $200K/год на разработчика), то я не знаю, как вам угодить.

[zeit-raffer.livejournal.com]

Угодить нужно не лично мне, а индустрии.
Для чего надо снизить цену разработки до величин, сравнимых с ценой строки Java/PHP.
(Чего, скорее всего, никогда не произойдет; но я надеюсь...)

[thesz.livejournal.com]

Можно спросить, кто поручил вам говорить от имени всей индустрии?

[zeit-raffer.livejournal.com]

Вопрос риторический. Нужды индустрии я могу, конечно, понимать неверно.

И в первый свой коммент здесь я включил слова: "Я не знаю какие условия должны выполниться, чтобы они выстрелили."
Так особых претензий на предсказания с моей стороны нет.

[kurilka.livejournal.com]

Сергей, а как получается разница в 5 раз?
8700*1000 = 8.7M - это чуть меньше чем в 2 раза разница по ср. с 16М.

[thesz.livejournal.com]

Я мог неправильно указать цифры. Я по памяти цитировал.

В общем, там соотношение 87/16, а вот на что сокращаются числитель и знаменатель, я не помню.

[kurilka.livejournal.com]

Спасибо