Интересное мнение про Haskell

[metaclass]

http://neugierig.org/software/blog/2011/10/why-not-haskell.html
http://www.reddit.com/r/programming/comments/lfm1k/why_not_haskell/

У меня на данный момент с хаскелем забавный мозговой тупик: не совсем понимаю, как писать идиоматический код.

Т.е. например, разговор с девайсом по RS232 я могу написать в лоб, со сплошным IO, могу оформить с кошерными iteratees (хотя от типов и там и в coroutines глаза кровоточат), по идее, если покопаться, можно придумать еще несколько способов "красиво, строго, надежно" оформить разговор по известному протоколу, но в итоге то, что подразумевает повторное использование и статические гарантии, выглядит как ад из типов, а то что понятно - выглядит точно так же, как эта самая программа написанная на другом языке, с точностью до синтаксиса )

Вообще, от софта хочется простого: кроссплатформенность(винда/линукс), никаких JRE/Mono/CLI/интерпретаторов питонов/рубей, минимум зависимостей, отсутствие ручной работы с выделением-удалением памяти, нормальные строки, более-менее строгие типы.

Comments

[max630.livejournal.com]

при чтении сего мне вспомнился на днях читаный текст Бармина про SCO :)

[nicka-startcev.livejournal.com]

еще есть жабаМЕ.
и вроде бы нет "опциональных" либов, которые бы в кастрированной версии жабы брались локально, а в жирной эмулировались внешними приблудами.

[nicka-startcev.livejournal.com]

локально - в смысле, из того же "пакета" что и запускаемая нами э.. программа.

[sheep2k.livejournal.com]

Я фактически серьёзно :)

[nicka-startcev.livejournal.com]

так язык-то шизоидный. Хотели иметь сразу все концепции - получите голоса в голове и раздвоение личности, причем, наполовину совместимое с си.

[theiced.livejournal.com]

ну кушайте говно дальше, кто вам запредит.

[sgalitsky.livejournal.com]

Нутром чую, что это расово верный подход.(С)см.выше

[clayrat.livejournal.com]

>кроссплатформенность(винда/линукс)
>никаких JRE/Mono/CLI/интерпретаторов питонов/рубей

попахивает взаимоисключающими параграфами
а как нащот LLVM?

также порицаю стремление к сборщику мусора
даешь линейные типы (точнее линейный вид)

[esil0x.livejournal.com]

> Ну-ну, удачи. Сборщик мусора без виртуальной машины?
Да легко! Тот же D например.
Ну ещё в качестве примера можно Excelsion JET привести. Java компилируется в нативный код. Сборщик мусора присутствует. Виртуальная машина висит сбоку, но работает только когда динамически подгружаются классы.

[esil0x.livejournal.com]

С++

[theiced.livejournal.com]

это для марсиан. им ок, у них моск анатомически в жопе. а людям сложно и больно.

[avnik.livejournal.com]

А как хацкель-для-уеба будет под нагрузкой жить? Ну хотя бы под минимальной?

Если уж хочется чего-то правильного -- тогда ерлангъ

PS Кстати может и правда, давайте ребе метаклассу еролангъ присоветуем

[sgalitsky.livejournal.com]

тссс. оне к&р читают. я чувствую. ни дня без строчки..
и чем ближе они к концу, тем другие ближе к завершению.
суровая правда жызни.

[slonopotamus.livejournal.com]

Как насчет ooc?

[metaclass.livejournal.com]

Хаскель для веба нормально, говорят.

[theiced.livejournal.com]

ноль.

[theiced.livejournal.com]

внезапно - го.

[kurilka.livejournal.com]

http://www.yesodweb.com/blog/2011/02/warp-speed-ahead например есть такие левые цифры или лучше http://www.yesodweb.com/blog/2011/03/preliminary-warp-cross-language-benchmarks
Есть подозрение (хотя лучше бы сделать бенчмарки), что Эрланговые решения окажутся на этих графиках не впереди планеты всей, тем более если отдаваться будет что-нибудь сложнее hello world.
BTW сейчас пытаюсь изобразить для нового проекта решение на Warp/Yesod, правда оно не совсем "традиционный" веб (на что в основном Yesod рассчитан), а REST/XML бэкэнд.

[avnik.livejournal.com]

Ну насколько я знаю, ерланг хорош в случаях, когда нельзя терять коннекты.
Оно будет их хоть и медленно, жевать тысячами

[kurilka.livejournal.com]

В Хаскеле тоже лёгкая многозадачность, thesz даже хвастался, что стек на поток меньше чем в эрланге.
Другое дело, что в Эрланге инфраструктура для обеспечения этой многозадачности шире и проработанней (ибо осн. задача).
А так и ежу понятно, что инструмент надо подбирать под задачу.

[avnik.livejournal.com]

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

[avnik.livejournal.com]

го ненужен

[kurilka.livejournal.com]

Ну это слишком абстрактное заявление, чтоб его достаточно конструктивно рассматривать, но семантика строгого Эрланга заметно проще, да.

[black-angel-by.livejournal.com]

перл красив лаконичностью :)

[theiced.livejournal.com]

дада. только тот же руби лаконичнее. хаскель лаконичнее. лисп лаконичнее. а так перл хорош лаконичностью, не поспоришь.