Интересное мнение про 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

[berezovsky.livejournal.com]

от софта хочется чтобы работал

Не холивара ради

[schegloff.livejournal.com]

А только спросить. Почему не JRE (если это конечно java Runtime Engine)? Потому что с RS232 плохо работать?

Re: Не холивара ради

[metaclass.livejournal.com]

Лень деплоить, помнить нужные версии, конфликтовать с уже установленным софтом, итд. На линуксах вообще какая-то содомия с разными версиями, проприетарные, открытые, что попало.
Я сторонник деплоймента методом "распаковали и работает".

[sgalitsky.livejournal.com]

> JRE/Mono/CLI/интерпретаторов питонов/рубей
- ребе все это попробовал и - "никак"? две последние же - просто сплошные няшечки..

[metaclass.livejournal.com]

Пробовал. Не люблю интерпретаторы и динамические языки.

[vaddimka.livejournal.com]

я б на плюсах запилил
boost + boost.asio
там есть свои скелеты в шкафу (например с таймерами), но оно работает
туда же можно coroutines через свитч-кейсы сделать, вот типа как тут: http://blog.think-async.com/2010/03/potted-guide-to-stackless-coroutines.html

Я понимаю что функциональщики от плюсов будут нос воротить, но по мне так минимум вуду, g++ есть на любой платформе и буст собирается на подавляющем большинстве (ну вот только разве что под андроид слегка поизвращаться надо). Код вполне компактный и читабельный получается.

[metaclass.livejournal.com]

Сейчас придет айсед и скажет все что он думает про плюсы :)
Впрочем, если не извращаться, скорее всего, и на плюсах можно нормально писать.

[gds.livejournal.com]

на хаскеле обычно не пишут идиоматический код, как я понял.

а так -- окамл, чо. (только revised syntax, сразу говорю.)
Со строками --
1. куча пакетов дают нормальные строки (batteries, camomile, ocaml-ropes)
2. для внутренних целей я сделал модуль типа Strings.UTF8, который пока даёт только "взять строку из последовательности байтов", "склеить две строки", "склеить список строк", "вывести как последовательность байтов". Но это минимализм, легко можно больше (см. п. 1), но обычно незачем (как-то взял и померил, был удивлён). Я пока использую этот минимализм, и только в очень редких случаях вижу нужду разбираться в том, как взять n-ный символ строки или как перевести строку в верхний регистр (а там -- есть camomile)
3. у меня есть самописный "enumeratee byte uchar 'a" -- в том числе для RS232 применимо, только enumerator взять нужный

Открыть файл "\\какая-то-шняга\COM1" -- не проблема. На худой конец -- в качестве хобби нарисую биндинги для конкретно ком-портов, ибо я чётко представляю, как это делать. Благо, это очень просто, и винапи на эту тему гуглится очень легко, и польза для коммунити таки будет.

[nicka-startcev.livejournal.com]

Кстати, интересно, почему никто до сих пор не сделал под виндой "типа-драйвер", чтоб поиметь аналог линуксовых /dev/* по которым можно ls,read,write итп?

[nicka-startcev.livejournal.com]

Интересно, почему явистов еще не карают массово за некроссплатформенность, когда между разными JVM софт не переносится?

[eternal-leave.livejournal.com]

в смысле между жрокитом, ойбиэмской и сано-оракловой жавой? из них емнип только софт под третью обязан работать под первыми двумя

[(Anonymous)]

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

[metaclass.livejournal.com]

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

[gds.livejournal.com]

можно подробнее про строки и типы в сишечьке?

[plumqqz.livejournal.com]

"О чем я еще до войны говорил с господином окружным начальником..."

[(Anonymous)]

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

Ну-ну, удачи. Сборщик мусора без виртуальной машины? Посмотрите на ад реализаций этого в С++. А штоб еще и интроспекция была и строгая типизация и стандартная библиотека хорошая и с си через какой FFI интегрировалось для обратной совместимости и шоб кроссплатформено было... Вы наверное шутник. Если это простое в вашем понимании, то даже боюсь представить, что такое "сложное".

[metaclass.livejournal.com]

Ну, в хаскелях-окамлах никаких виртуальных машин и сборщик мусора есть.
И в хаскеле FFI есть и кроссплатформенность и IO с кошерным epoll (до сих пор не могу раскопать, как менеджер IO в GHC на windows устроен).

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

[sheep2k.livejournal.com]

Пишу на С++ и Qt и не страдаю от осознания того, что C++ - это мега-говно и позапрошлый век :-) Используя кутешные объекты можно даже про освобождение памяти не думать особо. И не тольео ГУЙ, можно и сервисы/демоны писать.
Работает вообще везде, по слухам, даже на Raspberry PI и прочих кофеварках.

Много раз пытался освоить питон/руби и прочую хренотень, но я такой тупой, что нормально ничего написать не получилось. Всегда кончалось тем, что в сердцах всё сносил нахрен и писал на Qt :-)

[max630.livejournal.com]

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

[clayrat.livejournal.com]

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

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

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

[esil0x.livejournal.com]

С++

[theiced.livejournal.com]

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

[slonopotamus.livejournal.com]

Как насчет ooc?

[david-m.livejournal.com]

Где ты их только находишь:)

[theiced.livejournal.com]

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

[avnik.livejournal.com]

го ненужен

[tzirechnoy.livejournal.com]

Хм. Ну, возьмите C.
Я, кстати, серьёзен -- с типами из пристойного и работающего остались C, Haskell и ocaml. Ах, ну да, говорят, ещё scala есть -- я её не пробовал, очень возможно, что оно того стоит (но под Вашы критэрии не подходит).

Только, рэбе, зачем Вам типы?

PS А идиоматический код пишэтся примерно как везде. Сначала ты идиоматически пишэшь, что тебе нужно (возможно, дажэ без привязки к языку). Потом идиоматически дополняешь это какими-нибудь уточнениями (можно с операторами любимого языка, кстати) до такого, чтобы было понятно и однозначно при чтении человеком. Потом приводишь примерно к синтаксису твоего языка, производя наиболее тривиальные замены слов и операторов на существующие (включая всякий pattern-matching или template generators, если это применимо и удобно). Потом в отдельных файлах дописываешь такие подпорки, чтобы всё остальное, что ещё не компилируется -- было тривиально заменить на вызовы этих подпорок, чтобы оно компилировалось.

PPS Кстати, лично я не люблю хаскель за три вещи.
Во-первых, он, в натуре, сложный, там дофига всякого синтаксического сахара и разных операторов, при этом хрен поймёшь куда смотреть, чтобы понять что оно обозначает. Вот нафиг, например, это do сделали?
Во-вторых, большое количество самых разнообразных операторов с произвольными приоритетами плюс некоторая ленивость приводит к тому, что в нормальном выражэнии потоки информацыи могут идти справа налево, слева направо и снизу вверх.
В-третьих, хаскелевское описание операторов -- это гениально, я впервые вообще понял, как разбор выражэний с операторами работает, что такое приоритеты и всё такое. Но им откровенно злоупотребляют, нормальная программа начинает походить на взрыв на фабрике знаков препинания. А ручной подсчёт скобок в лиспе после разбора хаскеллевских выражэний выглядит детской забавой.

В общем, по сумме: Хаскель сложэн. Для меня сложэн. Вот такой вот я негениальный программист, чо там.

[metaclass.livejournal.com]

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

[alexeyk77.livejournal.com]

ADA

[noop.livejournal.com]

сишка, работающие параллельно конечные автоматы на свичах и макросах, неблокирующий I/O, софтовые таймеры. все работает годами с кучкой модемов на компортах в одном потоке.