Simon Peyton Jones - Haskell is useless

[stdray]

В этой шутке есть доля шутки, хотя непонятно какая именно. То есть я смотрел, как metaclass под всеобщие аплодисменты пытался какие-то низкоуровневые вещи на Haskell делать, которые потом, по-моему, в момент были переписаны на Python. Или же Scala, которая, по идее, попадает в правый верхний угол этой диаграммки, стремительным ростом своей популярности какбэ подтверждает корректность рассуждений. Хотя ведь и на Haskell бывают откровения, но тут сложно судить, что в итоге больше повлияло: мощь Хаскеля или же скил автора презентации опердени. Я думаю, что второе. Но тут как: чем чаще будет появляться информация об успешных проектах с использованием Haskell, тем выше мотивация для преодоления страха (лени?) перед всякими монадами, аппликативными функторами, полиморфизмом высших порядков и прочими отличными терминами. Чтобы что-то реальное писать на Haskell надо обладать неплохим скилом (как минимум уметь писать подобное на чем-то другом) и быть ко всему готовым. Scala же не заставляет сходу менять привычки, то есть можно по началу писать как на Java с маттерн-матчингом и замыканими, а потом втянуться. Ну а если с большого расстояния посмотреть, то суждение таково, что "все енто ихнее функциональное программирование - баловство, лучше прочитать новую книжку по паттернам, рефакторингу и последним тенденция в agile". А еще дальше оказывается, что большинство даже слышали про ФП и в особо запущенных случая запрещают LINQ использовать, ибо нипонятно.

С программированием что-то странное происходит. То есть куда-то уходит понимание, что основные инструменты программиста - это его мозг и язык программирования, вместо этого какая-то каша. Выясняется, что код компилируется вижаул студией, а не компилятором, что запросы к sql серверу надо делать исключительно мышкой. То есть появляется новый слой абстракции костылей. Развиваются инструменты для использования инструмента: IDE, рефакторинги, скалфолдинг, ГРАФИЧЕСКИЕ КОНСТРУКТОРЫ. И какие-то улучшения в этим компонентах вызывают гораздо больше восторга и обсуждение, чем в самом языке. Я вот смотрю, как выползает на свет .net 4.5, так программистам на додиезе плевать вообщем-то на async/await, как и на внезапное замыкание на значение счетчика цикла, но вот НОВЫЙ РЕВОЛЮЦИОННЫЙ СТИЛЬ СТУДИИ - гвоздь программы, то есть реально войны ведут лучше ли станет программироват с серыми иконками. Языков много, срачи какой лучше, олимпиады всякие... А победит (то есть получит наибольшее распространение) язык обладающий самым продвинутым инструментарием по работе с ним. И это точно будет не ФП язык, поскольку функциональщики они такие: "ide нинужно", и все. Но это так, одна из версий, хотя и весьма реальная, на мой взгляд. В принципе, декларативность достигается, хоть и такими корявыми методами, так что все ровно.

Comments

[metaclass.livejournal.com]

IDE которое бы позволяло делать функциональные программы "черезточечьку" было бы кстати.
А то мне емакс настравать и его шорткаты учить влом.
Хотя поиск по сигнатурам типов и подстроке названия прямо в редакторе.

[katresv.livejournal.com]

С программированием что-то странное происходит. То есть куда-то уходит понимание, что основные инструменты программиста - это его мозг и язык программирования, вместо этого какая-то каша.
Я не согласна с этим утверждением. Просто отрасль перешла на поток. Если вспомним отцов-основателей, то им всегда мечталось "собирать программы из модулей" - сделать аналог конвейера. На конвейере нет математиков, научных лабораторий. На конвейере основные критерии - дешево и быстро достичь результата. Каждый выбирает сам - остаться на конвейере, или подняться до конструкторского бюро, сейчас возможность учиться доступна как никогда, можно не вставая с дивана.

так программистам на додиезе плевать вообщем-то на async/await, как и на внезапное замыкание на значение счетчика цикла, но вот НОВЫЙ РЕВОЛЮЦИОННЫЙ СТИЛЬ СТУДИИ - гвоздь программы, то есть реально войны ведут лучше ли станет программироват с серыми иконками.
Не наткнулась еще ни на единую кодерскую дискуссию, где бы обсуждали иконки и стиль студии. Всем наплевать на стиль.

поскольку функциональщики они такие: "ide нинужно", и все
Оно не то что бы не нужно. Оно скучно. Зачем тратить время на то, что ни на кого не произведет впечатления и не принесет денег?

Еще вариант - начинать обучать программированию сразу с функциональной парадигмы.
У кодеров есть образовательная база и неплохая. Кнут, Кормен, и прочая. Местный вуз плох - добро пожаловать на coursera.org.

[unavella.livejournal.com]

ide -- очень трудно написать одному, при этом нужно быть не только программистом, но ещё и дизайнером.
В идеале это команда программистов и команда дизайнеров, сколько дизайнеров знает ФП-языки, чтобы
в свободное время этим заниматься? Haskell компании, это небольшие группы программистов (Well-Typed например
или Tupil), стартап, они наскребли единомышленников и готовы делать real-world код им не до ide, тем более нужна помощь тех,
кто сумеет прилизать всё и допилить.

[justy-tylor.livejournal.com]

Это разные линии развития.

Популярные в восьмидесятые C и Turbo-Pascal (но не учебный Pascal Вирта) были решениями для создания продуктов.
Сегодняшние Java и C# - средства получения кайфа шаблонными архитекторами.
Сегодняшние Haskell и Scala - средства получения кайфа функционально продвинутыми программистами.

Да, на Scala может быть быстрее написать продукт/сервис, чем на стареньком C. Но это уже не является основной движущей силой и основным критерием выбора.

[nikolay tolmachev (from livejournal.com)]

Да просто дело в том, что ФП-разрабы чувствуют себя элитой. Там мейнстрим кипит, люди освобождают память, а фпшников это не касается, они смотрят на ооп-разрабов как на умственно отсталых. И отсутствие ИДЕ - это просто часть схемы элитизации комьюнити, инструмент искусственного повышения порога вхождения. Страшно же - а вдруг придут новые разработчики, свежее поколение, которые работают быстрее, учатся лучше, а вместо того чтобы трясти седой шевелюрой на хачкель-конференциях - разрабатывают полезные приложения. Это будет провал ВИП-ложи.
Так что - ИДЕ нет, потому что она не нужна самому комунити. Мы выбираем пластмассовых динозавров и непопулярность. Не надо удивляться что нет новой крови - она просто никому не нужна.

[hls-1141.livejournal.com]

Серые иконки, ахуеть вообще

[66george.livejournal.com]

Предупреждаю, что я о математике в ЖЖ почти не пишу, а человек я мрачный:) Когда будет готов учебник, выложу везде.