cirno 27.04.2011 04:05 perfect math class

Пиздец, ребята, какое быдло. http://habrahabr.ru/blogs/Haskell/118167...

Любой программист, изучающий haskell, рано или поздно встречается с таким непостижимым понятием как монада. Для многих знакомство с языком заканчивается монадами. Существует множество руководств по монадам, и постоянно появляются новые (1). Те немногие, кто понимает монады, тщательно скрывают свои знания, объясняя монады в терминах эндофункторов и естественных преобразований (2). Ни один опытный программист не может найти монадам место в своей устоявшейся картине мира.

В результате java-программисты только посмеиваются над хаскелем, не отрываясь от своего миллионострочного энтерпрайзного проекта. Разработчики на С++ патчат свои сверх-быстрые приложения и придумывают ещё более умные указатели. Веб-разработчики листают примеры и огромные спецификации по css, xml и javascript. А те из них, кто в свободное время изучает haskell, сталкивается с труднопреодолимым препятствием, имя которому монады.

Итак, узнаем как программировать на хаскеле без монад.

1. jtootf 27.04.2011 10:25 lagrange

не одобряю. в то время, когда прогрессивное сообщество вовсю пользуется стрелками, iteratees и прочими finger-tree, на хабре в очередной раз мусолят никому не нужную и не интересную тему монад for dummies

2. cirnojtootf /1 27.04.2011 10:58 perfect math class

О, вот как раз тебя-то и хотел. У ML-семейства есть будующее? Настоящие понятное дело доживает остатки, а что с будующим? Я сейчас почитал доки — красивый, аккуратный, не перегруженный язык, есть прекрасный рантаймы, что для SML, что для OCaml, но сообщество полумертвое. По сравнению с тем же Haskell. Сейчас посмотрел статистику Google Code Jam '10го года, стало совсем грустно.

3. jtootfcirno /2 27.04.2011 11:00 lagrange

я для себя не вижу. можешь спросить у @dmz почему они перешли с OCaml на Haskell, например. ну F# сколько-то живой, разве что

4. cirnojtootf /3 27.04.2011 11:03 perfect math class

Видел на ЛОРе ты спрашивал книги по SML, как оно, удачно? F# выглядит же как попытка протащить майкрософтом ML как стандарт де-факто FP для дотнета.

5. jtootfcirno /4 27.04.2011 11:06 lagrange

это было давно и неправда; SML мне нужен был во времена разбора Окасаки, а после знакомства с finger trees Окасаки стал существенно менее актуален. ну а в качестве FP для дотнета я бы предпочёл Haskell :)

6. cirnojtootf /5 27.04.2011 11:08 perfect math class

Окей, отложу в сторонку DAOC, благо недавно начал. Gentle Introduction to Haskell 98 актуален, не в курсе?

7. jtootfcirno /6 27.04.2011 11:10 lagrange

актуален, только он не gentle ни разу :) имеет смысл сначала прочитать Haskell Report 2010, чтобы знать что поменялось, но в принципе там речь идёт о настолько базовых вещах, что особо заморачиваться не стоит. что действительно стоит прочитать — так это типоклассопедию, это Розеттский камень стандартной библиотеки Haskell

8. cirnojtootf /7 27.04.2011 11:12 perfect math class

С базовыми концепциями ФП в принципе знаком (со скимой игрался одно время, да и просто на диване теоретизировал), так что думаю без gentle ok. А что за типоклассопедия? Теория категорий? ☺

9. jtootfcirno /8 27.04.2011 11:15 lagrange

http://www.haskell.org/haskellwiki/Typec... — теорката там почти нет, он всячески избегает отсылок к теоретическому базису

10. cirnojtootf /9 27.04.2011 11:21 perfect math class

thx

Do you really want to delete ?