О Haskell по-человечески

Первое издание этой книги было опубликовано 5 марта 2014 года, о чём Денис Шевченко — её автор сообщил на Хабрахабре. На момент написания этого сообщения доступно уже третье издание.
Как пишет автор:

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

Сайт книги.
Авторство принадлежит Денису Шевченко.

10

А разве тот же LHFGG не бесплатно доступен как на русском так и на английском языках при том что издается в бумажном варианте?

Насколько я знаю, она доступна бесплатно на английском, но не на русском. Разве текст русского издания (http://dmkpress.com/catalog/co... 060-038-5/) тоже где-то лежит в легальном бесплатном доступе?

0

Ну на том же хабре по частям лежит, плюс на народе где то видел сделанный под оригинал сайт с частичным переводом.

0

Едва ли это легально. В том смысле слова, что издательство вполне может предъявить претензию.

Я скажу так: если бы мне удалось найти такое издательство, которое, заинтересовавшись моей книгой, разрешило бы мне оставить в свободном доступе электронный вариант - я бы согласился на издание не задумываясь.

0

Ну раз электронная версия попала в интернет, то считайте она уже навечно в свободном доступе

0

Так и есть! Она уже не только на Twirpx лежит, но и на Рутрекер недавно попала...

0

Приветствую!

С радостью сообщаю, что положено начало рассмотрению монадных трансформеров. Традиционно этот механизм считается сложным для освоения новичками, и, признаюсь, я тоже не сразу въехал. Но теперь рассмотрены трансформеры MaybeT и ReaderT. И если MaybeT элегантен, то в ReaderT я просто влюбился.

Всем заинтересовавшимся - просьба сюда.

На очереди WriterT и StateT.

Добавлено через 23 часа 53 минуты
И сразу, по горячим следам, добавлена глава про не менее полезный трансформер WriterT.

1

Ну и для полноты картины, глава про ещё более мощный трансформер StateT.

1

dshevchenko, Прочитал вчера. Премного Вам благодарен. Замечания: не оператор, а функция. В языке Haskell всё есть функция и нет операторов. Это Ваши старые императивные привычки. Не "функция композиции", а "композиция функций", это же введение в анализ, нужно знать матчасть. С другой стороны если рассуждать формально то Вы правильно применяете термины "функция композиции" и "функция аппликации", ибо это функции таковыми и являются и задача их состоит в том чтобы композировать или апплицировать функции аргументы. \n
Где-то Вы писали самокритичное рассуждение о том, как Вам гипотетически ответят в издательстве как автору без регалий и званий. Да, Вы все таки не дотягиваете и есть еще куда расти. Вам как интересующемуся наверняка будут интересны и полезны следующие издания Purely Functional Data Structures, ну а эта книга вообще безценна Concepts, Techniques, and Models of Computer Programming
В частности Вы бы не были так удивлены тем, что в функциональных языках нет привычного императивщикам присваивания (и то это не всегда так, тот же racket прекрасно уживается с функцией set!). Строго говоря, Haskell не имеет присваивания в той форме, к которой мы привыкли из си, паскаля и т.д. Имеет, но эта функция не доступна программисту, этим занимается компилятор. Да и (я даже как-то в виде загадки постил этот момент) каждая "переменная" в функциональном языке есть stateless (бесправный чужак, гость или что-то в этом роде). Сам термин "переменная" (variable) мы можем понимать в двух аспектах:
1. хранилище
2. связанное имя.
Так вот имя связывается с хранилищем лишь однажды и называется этот подход single-assignment store. Все это и многое другое описано во втором приведенном источнике.
P.S. Большая благодарность за труд. Успехов Вам на Вашем новом поприще!

3

Сообщение от castorsky dshevchenko, Прочитал вчера. Премного Вам благодарен.

И я вам благодарен за ваши замечания.

Сообщение от castorsky Замечания: не оператор, а функция. В языке Haskell всё есть функция и нет операторов. Это Ваши старые императивные привычки.

С одной стороны, вы совершенно правы. Но с другой, я неоднократно встречал, как в англоязычной литературе по Haskell функцию, предназначенную для инфиксной записи, называют словом operator. Разумеется, `(++)` это функция конкатенации двух списков, но её часто называют оператором. Впрочем, я не считаю это столь уж принципиальным вопросом. Скорее, это лишь игра слов... :-)

Сообщение от castorsky Где-то Вы писали самокритичное рассуждение о том, как Вам гипотетически ответят в издательстве как автору без регалий и званий. Да, Вы все таки не дотягиваете и есть еще куда расти.

О да, тут вы совершенно правы. Я недавно встретил одну презентацию по Haskell "для реального мира", посмотрел рекомендованные для изучения разделы языка - и понял, что мне ещё ой как много всего нужно изучить.

Сообщение от castorsky P.S. Большая благодарность за труд. Успехов Вам на Вашем новом поприще!

Спасибо!

Добавлено через 21 час 52 минуты
И ещё одна глава добавлена, о трансформерах ErrorT и EitherT. Красавцы!

2

Рад сообщить, что теперь книга стала ещё ближе к обучающимся. В конце каждой главы, содержащей примеры кода, вас ждут две новые кнопки:

1. Первая ведёт прямо на GitHub к соответствующему тестовому файлу.
2. Вторая ведёт на FPComplete, где вы сможете незамедлительно скомпилировать код из главы и запустить его на выполнение. Очень удобная возможность поиграться с кодом вживую, даже без установленной у себя Haskell Platform.

4

После долгого перерыва работа над книгой наконец-то возобновилась. Помимо прочего, я отказался от GitBook в пользу Hakyll для генерации веб-версии. Кроме того, теперь книгу можно обсуждать на месте: в конце каждой из глав вы найдёте нашу любимую Disqus. Прошу ознакомиться: http://ohaskell.dshevchenko.biz/ru/index.html

Многие главые нуждаются в серьёзной доработке, это я уже осознал. Кое-что нужно добавить, кое-что расширить, кое-что уточнить.

4

В этом разделе нет отдельной темы про литературу по Haskell. Но более-менее по-человечески и по-русски написана имхо не только сабжевая книга, а еще:
- учебник Антона Холомьёва
- учебник Григория Макеева
- море разливанное литературы от Романа Душкина (в т.ч. ФП на языке Haskell) - зачастую глубже рассматриваются теоретические вопросы
- учебник Мирана Липовачи "Во имя добра"

ЗЫ и все это можно без труда найти в свободном доступе в сети.

2

И уже не сильно по-человечески: одни действительно умные коллеги с научного форума подкинули следующую ссылку - , сопроводив ее некоторым текстом:

Об отсутствии явного состояния (state) и переменных в функциональных языках программирования — Ben Lippmeier, "Type Inference and Optimisation for an Impure World". PhD-диссертация, посвящена явному включению деструктивного обновления в ФЯП. Содержит обсуждение, почему эта возможность важна и нужна, обзор использующихся ныне подходов для работы с состоянием.

2

Добрый день! Сообщаю участникам форума, что у нас родилось русскоязычное сообщество Haskell-разработчиков. Цель - собрать воедино всех Хаскелистов рунета в единое блоговое пространства, для обмена премудростями.

Официальный сайт: http://ruhaskell.org/

5

Автор выложил О Haskell по-человечески 2.0 (betta). Книга в процессе написания. Надеюсь автор, dshevchenko, не против ссылки. А то он сюда, что то забыл написать.

3

Конечно я не против! Комментарии, пожелания и критика приветствуются! Напоминаю, что репозиторий ждёт ваших форков:

https://github.com/denisshevchenko/ohaskell.guide

3

Слышал что JavaScript это Haskell + Category theory

0

Да? Мне не приходилось такое слышать. Что касается Haskell, то теория категорий вообще необязательна для программирования на нём.

0

.......

0

слышал от Douglas Crockford в обсуждении JS Monads https://www.youtube.com/watch?v=dkZFtimgAcM на 10:35 минуте. Наверно я не правильно понял, что он имеет в виду.

0