Вышла книжка по функциональному программированию на Haskell

А генту-то каким боком?

Обновление всех пакетов вместе с системой. Это, конечно, тоже палка о двух концах, но, думаю, всё же лучше разброса версий по времени установки.

Да, несколько печально. Но позитив в том, что принципиальных сложностей соптимизировать код нет. Поэтому наверное это будет сделано в скором будущем.

Конкретно мне для многих задач была бы удобна обычная Java но с Algebraic Data Types и pattern matching. Ну и, хотелось бы, чтобы не было null values. Но даже это не так критично. Scala и Ceylon недавно смотрел, но несколько убило то, что простецкий «Maybe a» на нём выглядит как-то распухше. А Java-вские Enumы бесславно убили, хотя у них есть свои плюсы. Ну например то, что они гарантированно не расширяемы и по ним быстро идёт matching.

Как cabal-dev поможет?

Из вашего описания я не понял, что написано самостоятельно, что - нет. Но если вам не помогает своя песочница для каждого проекта, то, думаю, уже ничего не поможет.

Мало того что enum нет, так и EnumMap с ФП плюшками нет. А мне однажды очень О(1) надо было.

гарантированно не расширяемы

sealed - ограничивает возможность описания наследников класса одним файлом. Кстати с ним компилятор может указать в паттерн матчинге что не рассмотрены все варианты.

быстро идёт matching

Вот по EnumMap было бы очень быстро. В итоге написал свой Scala-идиоматический EnumMap. Сами enums пришлось на жабке делать

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

sealed - ограничивает возможность описания наследников класса одним файлом.

Мне кажется, я где-то видел как этот sealed можно обойти. Но не уверен на 100%.

Вот по EnumMap было бы очень быстро. В итоге написал свой Scala-идиоматический EnumMap. Сами enums пришлось на жабке делать

Я тоже Enums делал на Java, но на свой EnumMap так и решился. Подумал, что это несколько дней уйдёт в лучшем случае.

Мне кажется, я где-то видел как этот sealed можно обойти. Но не уверен на 100%.

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

Есть инструмент в Gentoo - haskell-updater: отлично работает, чтобы руками никуда не лазить самому. Экономит массу времени на обновлениях. Gentoo - вещь!, что у «других» не работает, то в Gentoo давно пройденный этап, при условии что установлен overlay haskell

# eix haskell-updater
[I] app-admin/haskell-updater
     Available versions:  1.2.0.5-r1 (~)1.2.0.8 (~)1.2.0.9 (~)1.2.0.9[1]
     Installed versions:  1.2.0.9[1](13:22:26 04.03.2013)
     Homepage:            http://haskell.org/haskellwiki/Gentoo#haskell-updater
     Description:         Rebuild Haskell dependencies in Gentoo

# layman -l

 * graaff                    [Git       ] (git://git.overlays.gentoo.org/dev/graaff.git                                                                                                                                                     )
 * haskell                   [Git       ] (git://github.com/gentoo-haskell/gentoo-haskell.git                                                                                                                                               )
 * rion                      [Mercurial ] (http://rion-overlay.googlecode.com/hg/                                                                                                                                                           )
 * ruby                      [Git       ] (git://git.overlays.gentoo.org/proj/ruby-overlay.git                                                                                                                                              )
 * science                   [Git       ] (git://git.overlays.gentoo.org/proj/sci.git                                                                                                                                                       )
 * zugaina                   [Rsync     ] (rsync://gentoo.zugaina.org/zugaina-portage  

Но когда в итоге получается монада IO, то нужно остановиться и перестать курить траву.

А что в ней такого? Есть State, в ней всё чисто. Но State медленна, поэтому есть ST — оптимизация State c настоящим in-place обновлением. IO — это ST над RealWorld.

Но можно и делать то что уже лет 50 делают, просто пишут мутабельный код непосредственно. И самолеты летают, поезда ездят.

50 лет назад параллелизма не было, и mutable state никого не волновал. Сейчас параллизм есть, и ваш "наиболее адекватный подход" с shared mutable state — это главная причина гонок. Поездов. С последующим крушением.

Во-первых ФВП и просто удобства

Ну я и говорил выше: сахарок и умные слова.

Вот такой, самый простенький, не как Одерски завещал со 100500 *Like https://gist.github.com/anonymous/5124500

Мне нужно было две вещи - О(1) доступ, и чтобы ФВП работали как на Map. Это если патч слать в стандартную библиотеку классов, то надо что-то серьезнее

А что в ней такого? Есть State, в ней всё чисто. Но State медленна, поэтому есть ST — оптимизация State c настоящим in-place обновлением. IO — это ST над RealWorld.

Потому что она вообще нужна упоротым в языках в которых нельзя просто напросто сделать сайдэффект.

Сейчас параллизм есть, и ваш «наиболее адекватный подход» с shared mutable state - это главная причина гонок.

Shared-nothing architecture

Ну я и говорил выше: сахарок и умные слова.

Any problems with that?

ваш «наиболее адекватный подход» с shared mutable state — это главная причина гонок

Откуда взялось shared? И да, shared mutable state не было уже в CSP.

50 лет назад параллелизма не было, и mutable state никого не волновал. Сейчас параллизм есть, и ваш «наиболее адекватный подход» с shared mutable state — это главная причина гонок. Поездов. С последующим крушением.

Это как бы в теории. А на практике всегда важен баланс. Вот например в Erlang нет никакого shared mutable state. Но народ жалуется, что дескать медленно.

Я не вижу проблем с shared mutable state, если он хорошо организован (т.е. есть четко определенный интерфейс, выверенная реализация и т.д.).

Например, здорово передавать данные между потоками. Но как не крутись, для этого нужен shared state. Какой-то буфер обмена должен быть, может даже и lock-free. Беда обычно не в shared mutable state как в таковом, а либо в его кривой реализации, либо в более фундаментальных вещах типа priority inversion.

Зарплаты вырасти не могут, с чего им расти, разве если перед этим инфляцию крутить, как в США.

Вопрос не в уровне зарплаты, а в уровне доходов, а доходы это не размер зарплаты, а на что этой зарплаты хватит.

Для мск 100кр увы мало, но и этому рад, т.к. не все получают и эту сумму в мск. Что касается других краёв - не знаю лично, но верю, что найти работу очень не просто, люди в других краях имеют не одну корочку, и даже знания имеют, но работают где случай подвернется, и далеко не по своим специальностям. К сожалению и в России такая же картина после Горби. Где случай подвернулся, там и работаем. «Капиталлизм» одним словом, при «коммунизме» вообще сложно было с работой, но говорят были времена хорошие до прихода Хруща, но я тогда еще и в проекте не был.

По любому правильно - где родился там и сгодился, поэтому другие края меня давно не манят :)

Потому что она вообще нужна упоротым в языках в которых нельзя просто напросто сделать сайдэффект.

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

Shared-nothing architecture

И как её доказать средствами языка?

Any problems with that?

Да нет проблем. Просто не лезьте в треды про ФП со своим оффтопиком.

Не поливал, разве что между строк читаете :), но я этого даже не подразумевал.

Разуму никого не поучаю, но и обижать ФП не стоит.

Нравится Вам scala, java, sql - да на здоровье.

Но опускать то что мне нравится, да еще с запутанной неубедительной аргументацией - не дам :)

Вот вы тут Хаскели и Скалы обсуждаете, а я сижу и на Плюсах пишу и вам завидую.

Откуда взялось shared

Потому что это наиболее типичная ситуация.

И как её доказать средствами языка?

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

Да нет проблем. Просто не лезьте в треды про ФП со своим оффтопиком.

Тоесть когда речь заходит о возможностях, то оффтопик, а когда о палке в спицах колеса - то настоящее ФП

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

c: prgmati son

Зарплаты вырасти не могут, с чего им расти, разве если перед этим инфляцию крутить, как в США.

В России нет инфляции?

В принципе, я смотрел по долларовому эквиваленту. Лет пять назад я видел в Москве вакансии где-то порядка $3K в месяц. 100K RUB это чуть больше чем $3K.

Для мск 100кр увы мало, но и этому рад, т.к. не все получают и эту сумму в мск. Что касается других краёв - не знаю лично, но верю, что найти работу очень не просто, люди в других краях имеют не одну корочку, и даже знания имеют, но работают где случай подвернется, и далеко не по своим специальностям.

В принципе правильно. Но кто ищет, тот всегда найдёт.

По любому правильно - где родился там и сгодился, поэтому другие края меня давно не манят :)

Переубеждать не буду. Но пожалуй замечу, что сгодился ты кому-то, кто вполне возможно далеко не ты.

Но опускать то что мне нравится, да еще с запутанной неубедительной аргументацией - не дам :)

Может быть она запутанная и неубедительная, потому что Вы недостаточно знакомы с этой темой?

Прокомментируйте решение Вышла книжка по функциональному программированию на Haskell (комментарий)

С Monad.Random было бы красивше, имхо.

Переубеждать не буду. Но пожалуй замечу, что сгодился ты кому-то, кто вполне возможно далеко не ты.

Конечно всегда найдется кто-то лучше и Вас в том числе. Что - из этого расстраиваться? Нет - учиться, искать ответы на свои вопросы. ЛОР помогает в целом в этом, даже не смотря на отстутствие модерации. А Вам с вопросами относительно недостатков языков надо бы в специализированные конференции постить, а не сюда, а то выглядят Ваши доводы как заказные против ФП в целом, или чтобы новичков отвадить от ФП. Да еще и Ваши космополитические убеждения... пользы для России не несут.

не хочу говорить, что у хацкеля проблем нет, но эти мне показались переоцененными, тем более, что я считаю, что часть из них несущественна или решается просто. По поводу задачи и кода подробный комментарий и код будет завтра, я поддался собразну изучить линзы, которые я советовал, но которых я пока не знаю, да и за комп сегодня толком сесть не удалось. А по поводу твоего комментария, я посчитал, что он уровня комментариев vertexua, не разбирающегося в haskell, но любящего его посравнивать со скалой. Но лор, это лор, я рад что удалось перейти к предметной дискусии.

По поводу cabal-hell, тут ситуация сложная и интересная, но не настолько ужасная как её обрисовывают. Во-первых стоит отделять интересы интерпрайза, от интересов разработчика, хотя они и пересекаются, но в целом истоки разные. Интерпрайзу нужна минимальная стоимость (в т.ч. поддержки), максимальная быстрота и максимальная возможность получить денег с клиента. Программистру наиболее важно качество программы, время её создания и интерес работы. Естественно есть техники позволяющие получать не основные результаты, но рассматривать то, что дает экосистема языка нужно исходя из этого. Для интерпрайза хацкель хорош тем, что на выходе получается статически собранный бинарник, который можно положить в opt и забить на всё, но при этом нужно самому следить за багами и исправлениями зависимостей, а это сложно, при этом нельзя переложить ответственность на дистростроителей, из-за ABI; в новых кабалах появилась возможность указывать constraint и собирать пакеты в песочнице, это может помочь данному юзкейсу, но не является панацеей. Для разработчика есть несколько вспомогательных технологий: это сам кабал, и песочницы hs-env, и cabal-dev, плюс вспомогательные проекты, чтобы объединить сразу много проектов: cabal-meta, так же снойман придумал абсолютно ненужный local-hackage (наподобие того, что в генте но жестким хаком), но тут опять всплывает проблема ABI.

Проблема ABI это в том, что ABI зависит от интерфейса модуля и при изменении любой фунции, все обратные зависимости надо пересобрать. Эта проблема наиболее ярко проявляется в бинарных дистрибутивах, где нужно поставлять какую-то базу, и при этом не заставлять пользователя все перебирать самому. Поэтому обычно предоставляется платформа, и вокруг неё что-то, при этом разрабочтики на haskell среди девелоперов дистрибутивов встречаются не часто, со всеми вытекающими последствиями. В дополнение к проблеме API идет ещё одна проблема, что haskell комьюнити, считает, что stable API is nonsence и он часто меняется, при этом не все меняют 0.x версию, а некоторые умудряются даже перезалить версию на hackage, что безусловно является проблемой, но не проблемой языка. Некоторые не бекпортят исправления, в итоге их об этом просят (пример с tls и debian).

Что предоставляет gentoo поверх этой ситуации: у нас есть дерево (portage tree) и оверлей (haskell overlay), из которых можно взять ебилды (описание процесса сборки, метадата и патчи, сами пакеты. В портаже лежит платформа (слегка устаревшая, щас это исправляем), плюс зависимости конечнопользовательских програм, таких как git-annex, xmonad, pandoc, gitit, т.е. haskell пользователь может просто использовать пакеты и не париться. В оверлее лежат пакеты для девелоперов, там поддерживаются максимальные версии пакетов, которые совместимы между собой и собираются ghc с 6.12 по 7.6 и некоторые вплоть до 7.7 и live версии, (достигается это патченьем пакетов и исправлением зависимостей, могу расписать подробно если интересно). Плюс у нас есть полезные утилиты для обновления поломанных зависимостей (due broken dependency), автоматической генерации ебилдов и проверки целостности системы. В целом это позволяет многих даже не задумываться о необходимости песочниц, которые когда нужны удобно сочетаются с системным управлением пакетами. В общем как-то так.

Дружище, не смеши, ты scalaz-то не осилил, что ты вообще можешь о скале знать? Зачем советовать то, в чем минимально не разбираешься?

Не читал, но скобки точно не матчатся :[

Нет, ну какие вы все-таки молодцы в gentoo-haskell. Большое спасибо вам за работу!

на самом деле gentoo-haskell это набор любителей бесполезного ручного труда

Есть ощущение, что все слишком всерьёз воспринимают пердосторонинскую вонь !

ну так переделай, чё ты. Продемонстрируешь простоту и удобство рефакторинга в хаскиле.

ха, ловко ты его подъебал, красава))

Ну так идиот - самый удобный противник в споре.

похуй всем, съеби уже

надеюсь, что все эти ваши хацкильные боги не пишут в таком же ебанистическом стиле

вменяемый человек начинает расхлёбывать эту хуйню с сигнатур. которых нет

также не ясно нахуя было лезть в спермоленсы если всё равно есть срань вида

(\(a, b) -> a { _hunger = _hunger a - _points b }) $ zip as' fs'

шесть let'ов с портянкой навоза в каждой, в общем ничотак, бодренько

там надо было

zipWith (\a b -> a & hunger -~ b ^. points) as' fs'

ты няша, напиши мне в приватик :3

написал

аноним, ты заставил меня задуматься! был бы ещё не анонимом, вообще бы круто было.

А что не так со стилем-то? То, что императивные дебилушки не могут в когнитивные способности, - не проблема хаскильбогов.

case a of Nothing -> return (); Just x -> f x - это кстати Data.Foldable.for_ a f

Добавь сигнатуры, жить станет лучше, жить станет веселей

побольше бы таких тредиков, спасибо

выглядят Ваши доводы как заказные против ФП в целом

Точно ЗОЖ? Или ты конспиролог?

nonsence

Исправляли же уже, nonsense!

Здоровый образ жизни - без...ГМО

отвратительно

Да, на первое время gh хватает шикарно.

Когда каждые выходные делаешь emerge -avunD world, когда шуршишь haskell-updater'ом по вечерам чтобы он «всё починил» и так далее.

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

Сидишь себе в user-wide наборе пакетов, обновляешься раз в год, собираешь всё в cabal-dev'ах и вроде всё ок.

Единственное, gh хорош как собрание патчей и починок текущих сломанных пакетов. Воистину, совершенно чудесная подборка. Редакция газеты «ЛУЧШИЕ ПАТЧИ 2013», не иначе.

А если честно, я всё меньше и меньше понимаю необходимость среднему пользователю иметь все 500 dev-haskellных пакетов системвайдно. Даже хмонадо-тройку удобнее держать свеженькую с пылу с жару собранную из дарксорепы.

И ghc ставить скриптом приятнее. И кабал бутстрапить душевнее.