Офигенная статья, объясняющая ВСЕ про FP

[metaclass]

http://blog.jelastic.com/2012/07/24/functional-programming-is-a-ghetto/
So why is functional programming, despite its virtues, a ghetto? The answer is that we tend to insist on good design, to such a degree that we avoid taking jobs where we’re at risk of having to deal with bad designs.

PS: В статье позитивная айседовщина. "IDE не нужны, потому что на продакшен сервере за тридевять земель вам они не помогут", "только идиоты начинают разработку на жабе или С++ в 2012 году" и прочее такое.

Еще того же автора: http://michaelochurch.wordpress.com/2012/04/13/java-shop-politics/

Comments

[vit-r.livejournal.com]

Насколько вижу, основрые проблемы в документации и представлении программ графически. Плюс проблемы с делением сложности по уровням.
"читай исходный код" в большинстве случаев не работает.

[metaclass.livejournal.com]

"читай исходный код" работает весьма условно, да. Когда там сплошные функции высшего порядка да ленивые последовательности - единственный вариант осилить это - мыслить категориями потоков данных, а не порядка выполнения.

[nivanych.livejournal.com]

Я бы так сказал — функциональщина, это первый шаг к формализации того, что ты делаешь.
Сколько бы ни было императивностей в некотором языке (например, окамель), но большую часть чего угодно на нём пишут именно в функциональном стиле, а значит, в выражениях некоторой интуиционистской логики.
Причём, чем больше опыта, тем большую часть.
А значит, тем большая часть хоть как-то формализована.
Другой подход к формализации, со стороны императивщины, сильно более сложен, и в немалой части, состоит в правильном разделении на модули с жёстко контролируемыми связями между ними. Что в некотором смысле, начинает приближать программу к функциональной.

[nivanych.livejournal.com]

Вот давно меня интересует.
Индусский говнокод и хацкельное ФП — это взаимоисключающие понятия или нет? ;-)
Хотя я понимаю, что если постараться, я бы придумал таакой говнокод! :-)
Но может ли он родиться естественным путём?

[metaclass.livejournal.com]

Может. Достаточно не написать комментариев и захардкодить констант :)

[w00dy.livejournal.com]

> только идиоты начинают разработку на жабе или С++ в 2012 году

Вот с этим я чего-то согласен. Есть жеж до-диез :)

[metaclass.livejournal.com]

Микрософт и индусы. Огорчают.

[w00dy.livejournal.com]

Тем не менее он приятен чем оракел с теми же самыми индусами. Ну или крестики со своим Страуструпом и Александреску

[w00dy.livejournal.com]

какой-нить писюк на i80386 :)

[tzirechnoy.livejournal.com]

Да, вполне реально. А что?

[tzirechnoy.livejournal.com]

100MB permanent storage, это я опечатался, кстати.

[tzirechnoy.livejournal.com]

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

[tzirechnoy.livejournal.com]

>А динамика в том что пять лет назад о ФП вообще
> никто кроме как в паре университетов не знал.

Отлить в граните, да.

PS Я, если чо, ещё в школе про него услышал, это большэ 15 лет назад. Правда, тогда не заинтересовался, но группа заинтересовавшыхся была достаточно большой.

[tzirechnoy.livejournal.com]

А что, под видом прогрэсса в ООП происходит что-то хорошэе?

Фигассе новость.

[w00dy.livejournal.com]

Та не, ничо. Просто была возможность потыкать пальцами в свежий асус - 4 ядра, дохера памяти, ондроед. И оно тормозит. Такое ощущение что специально старались.

[zamotivator.livejournal.com]

Судя по комментариям - theiced насчёт тебя прав.
Два раза обосраться похуй, но при этом крыть хуями в ответ на критику - это действительно мудак.

[blackyblack.livejournal.com]

Речь о том, чтобы оптимизировать копирование иммутабельных значений и т.п.? Ну этого и в с++ нет, однако хаскелл как-то в с++ компилится.

[blackyblack.livejournal.com]

Я примерно это и имел в виду. :) Под "товарищем" я Вас подразумевал.

[thedeemon.livejournal.com]

Не, речь о существующих в современном С++ штуках вроде move constructor, rvalue reference и return value optimization. В Си они недоступны, как я понимаю, потому на С++ можно генерить более эффективный код. Ну и явная работа с SIMD в плюсах нормально более-менее сделана (тут я вообще не в курсе, как она выглядит в Си).

Создатели GHC давно уже себе свой С-- запилили, чтобы обойти недостаток нужных фич в Си. Про компиляцию в С++ не слыхал.

[tonsky.livejournal.com]

Это вот это-то удобство?

[container setObject:value forKey:[NSString stringWithFormat:@"%d", number]];

[thedeemon.livejournal.com]

А что заказчикам предлагалось вместо пыхомуcкуля? Agda on Rails? :)

[bydl0coder.livejournal.com]

Краткое содержание статьи: "какой же я крутой!"

[thedeemon.livejournal.com]

надо просто мыслить категориями.
или 2-категориями, еще лучше :)

[tzirechnoy.livejournal.com]

Я вообще потерял нить Вашых суждений.

[tzirechnoy.livejournal.com]

По сравнению с тем жэ самым на STL -- да, безусловно.
А на C вообще такое выходит за рамки языка.