H О Haskell по-человечески в черновиках Из песочницы

А что за популярный онлайн-курс по хаскелю? Ссылку не дадите?:)

Да, планируются. FB2, EPUB, MOBI. Уже несколько читателей обратились ко мне с такой просьбой, поэтому я удовлетворю их просьбу в скором будущем.

Готово. Теперь на сайте две кнопки, для PDF и для EPUB. Прошу не судить очень строго, это мой первый опыт работы с EPUB.

Да не то чтобы намеренно… Просто такой_стиль принят в boost, а всё-таки привычка семилетней разработки на С++ сказывается. К тому же в некоторых пакетах из Hackage я видел такой_стиль вместо такогоСтиля. Но, думаю, что в следующем издании я изменю это, чтобы было привычнее для других Haskell-разработчиков.

инкрементирую

Да, со шрифтом, это моя ошибка. На Mac и iPad шрифт выглядит великолепно. Причём русские и латинские буквы одного размера и начертания. А вот на Windows забыл проверить.

Я поправлю это в ближайшем будущем.

Кому ещё интереснее – вот объяснялка.

unfoldr – это такой чудный универсальный генератор. На каждом шаге он скармливает функции что-то, а потом спрашивает: “ну как, понравилось”? Если не понравилось (функция вернула Nothing) – кормёжка прекращается. Если понравилось – функция выдаёт какой-то результат + определяет, чем её будут кормить в следующий раз. Потом unfoldr собирает результаты в список и выдаёт.

Пример:

> let step n = if n == 0 then Nothing else Just (intToDigit $ mod n 2, div n 2)
> let toBinary = reverse . unfoldr step
> toBinary 1337
"10100111001"

> break (== ' ') "before after"
("before"," after")

> second (drop 1) $ break (== ' ') "before after"
("before","after")

> tail []
*** Exception: Prelude.tail: empty list
> drop 1 []
[]

> listToMaybe []
Nothing
> listToMaybe [1,2,3]
Just 1

> fmap (+1) (Just 7)
Just 8
> fmap (const 13) (Just 7)
Just 13

> 13 <$ Just 7
Just 13

> let test = "before after"

> break (== ' ') $ test
("before"," after")

> (second $ drop 1) . break (== ' ') $ test
("before","after")

> (const . (second $ drop 1) . break (== ' ') $ test) $ undefined
("before","after")

> fmap (const. (second $ drop 1) . break (== ' ') $ test) $ Just undefined
Just ("before","after")

> fmap (const. (second $ drop 1) . break (== ' ') $ test) . listToMaybe $ test
Just ("before","after")

> let step b = fmap (const. (second $ drop 1) . break (== ' ') $ b) $ listToMaybe b

> unfoldr step "bird is a word"
["bird","is","a","word"]

> unfoldr step " bird   is a word"
["","bird","","","is","a","word"]

> words " bird   is a word"
["bird","is","a","word"]

Так в самой книге же есть! Значок со ссылкой на creativecommons.org/licenses/by-nc-sa/4.0.

Или вы имеете в виду на главной странице сайта?

Добавил.

Вы 33-летний программист на C++, не знающий, что такое факториал и quicksort? Это не для художественного эффекта написано было?

У вас по книге фоном какой-то «обычный программист», который то этого не знает, то того не знает.

Вероятно, вы правы. Просто я счёл эту цепочку из трёх функций настолько тривиальной, что не подумал о переформатировании. Спасибо за совет!

Но вообще на Хаскеле вместо

main = print (take 2 (replicate 100 "127.0.0.1"))

main = print $ take 2 $ replicate 100 "127.0.0.1"

Большое спасибо за ваши замечания! Обязательно учту.

Вероятно, это удивит вас, но на данный момент я не имею никакого коммерческого опыта разработки на Haskell. Искренне надеюсь, что в каком-то будущем у меня появится такая возможность (или, если не в коммерческой области, то по крайней мере в области своих open-source проектов).

Впрочем, уже сейчас, взирая на С++-код своего FastCGI-сервера, я постоянно ловлю себя на мысли, мол, «А вот на Хаскеле я бы это сделал вот так...» :-)

В заключении к книге я отметил, что в будущие издания обязательно включу главы, посвящённые трансформерам и аппликативным функторам.

И еще хотелось бы освещения:

1. Юнит-тестирования и ТДД-практик в хаскеле
2. Того, как же код хаскеля, черт возьми, превращается в бинарный код. Какие он умеет применять оптимизации, как быстро он выполняется?

Это очень похоже на «пробрасывание» дополнительных параметров в императивных языках через дебри внутренней логики.

• Все куски кода, которым не нужны дополнительные параметры, выносятся в отдельные функции.
• Если параметры нужны всем функциям, оборачиваем их в Reader.
• Я, например, в своих программах завожу монаду ProgramName, и всё программно-специфическое у меня работает в этой монаде. Могу туда добавить параметры, State, Maybe, IO – а код при этом не меняется (в этом сила монадных трансформеров).
• Старайтесь обрабатывать ошибки как можно раньше. Если тип функции меняется с a -> b на a -> Maybe b – посмотрите, может, вам удастся обработать Nothing во всех функциях, использующих ту функцию, и остановить пандемию?
• Если не удалось – кидайте Exception и обрабатывайте его там, где удобно.
• Наконец, если внезапно оказалось, что самой часто используемой функции в вашей программе нужно прочитать значение из файла, чтобы, скажем, определить, в какую сторону надо округлять числа… unsafePerformIO. Но это исключительно на вашей совести, только в чрезвычайных ситуациях, и стыдно рассказать детям.

ArtyomKazak хорошо рассказал.

Алсо, монады, как паттерн проектирования призваны разделить код одного вида (допустим, парсинг) от кода другого вида (допустим, операциями ввода вывода).

Хорошим, несложным примером этого является стандартная функция interact :: (String -> String) -> IO ()

Первый аргумент у нее — чистая функция, которая процессит строку и отдает строку. Эта функция потом используется interact для ввода/вывода в stdin/stdout. Так вот, надо стараться отделять чистый код, от кода ввода/вывода; и в общем код, который занимается одним, от другого. Если об этом не задумываться, будет монадический ад и никакого удобства. Как раз почти этим мы занимаемся, когда в больших проектах у нас концентрируются небольшие библиотеки (которые можно перенести в другой проект). Своего рода, что считается хорошим тоном в других языках, то в Хаскелле способ написания без дальнейшего геммороя.

Надеюсь хорошо получилось выразить философскую мысль.

Спасибо за отзыв! А про подсветку я подумал с самого начала, но как-то поленился. Это мой недогляд. Обязательно сделаю.

Готово. В издании 0.2, которое вышло сегодня, добавлена подсветка (отдельно для примеров кода и для примеров терминальных команд). Теперь примеры читаются значительно проще.

Книга великолепна. Каждое предложение — в тему, отлично ложится на подготовленную (точнее, как раз, на неподготовленную) почву сознания обычного программиста, особенно если он когда-то заинтересовался предметом, но в силу теоретической неподготовленности не осилил другие материалы по теме.
Прочел запоем несколько первых глав, пропуская практические инструкции, и еле оторвался, всё же понимая, что лучше читать и делать сразу, отложив это всё на выходные.
P.S.: BTC в качестве благодарности принимаете?)

В процессе работы над следующим изданием код примеров будет переработан (добавлю подсветку и изменю такой_стиль на такойСтиль), и тогда я внесу поправки в форму функций.

Спасибо!

Сделано. Я учёл ваше пожелание в вышедшем сегодня издании 0.2.

Спасибо большое за замечание. У меня OS X 10.7, поэтому я не знал… Учту.

К сожалению, на данный момент я не могу предложить такое описание, поскольку практического опыта разработки на Haskell я на сей день и час не имею.

Именно поэтому я и решил серьёзно его изучить (в том числе разобраться в деталях, так сказать). Ведь я хочу сделать Haskell одним из своих каждодневных инструментов (а в идеале — инструментом №1).

Почему это не очень нормально? Сравните. Это зависимости исполняемого файла приложения на C++:

dshevchenko$ otool -L learn 
learn:
	libboost_date_time.dylib (compatibility version 0.0.0, current version 0.0.0)
	libboost_regex.dylib (compatibility version 0.0.0, current version 0.0.0)
	libboost_filesystem.dylib (compatibility version 0.0.0, current version 0.0.0)
	libboost_system.dylib (compatibility version 0.0.0, current version 0.0.0)
	/usr/lib/libiconv.2.dylib (compatibility version 7.0.0, current version 7.0.0)
	/Users/dshevchenko/Tools/GCC/lib/libstdc++.6.dylib (compatibility version 7.0.0, current version 7.17.0)
	/usr/lib/libSystem.B.dylib (compatibility version 1.0.0, current version 159.1.0)
	/Users/dshevchenko/Tools/GCC/lib/libgcc_s.1.dylib (compatibility version 1.0.0, current version 1.0.0)

dshevchenko$ otool -L Real
Real:
	/usr/lib/libSystem.B.dylib (compatibility version 1.0.0, current version 159.1.0)
	/usr/lib/libiconv.2.dylib (compatibility version 7.0.0, current version 7.0.0)

Нет, это нормально. Эти 750 килобайт занимает RTS – если хотите, можете сделать динамическую линковку, и будет 20 килобайт, но тогда придётся устанавливать shared libraries отдельно. Программы на Java тоже бы много занимали, если бы у каждого не было стомегабайтного рантайма на компе.

$ ghc -dynamic helloworld.hs
[1 of 1] Compiling Main             ( helloworld.hs, helloworld.o )
Linking helloworld ...

$ du -h helloworld
20K 	helloworld

Я имел в виду, что исполняемый файл, написанный на том же C++ — он, как правило, небольшой, но тянет за собой специфические зависимости. А исполняемый файл на Haskell сравнительно больше, но специфических зависимостей нет.

А ещё есть такой компилятор JHC, он используется в embedded systems. Это, конечно, немного оффтопик, потому что новичкам пользоваться JHC не рекомендуется (не поддерживает некоторые функции GHC, другие сообщения об ошибках, нет интерпретатора), но всё же:

$ cabal install -j drift
$ cabal install -j ajhc

$ ajhc helloworld.hs -o hello
$ strip hello
$ du -h hello
20K	hello
$ ldd hello
	linux-vdso.so.1 (0x00007fff7f782000)
	libc.so.6 => /usr/lib/libc.so.6 (0x00007f3fb6523000)
	/lib64/ld-linux-x86-64.so.2 (0x00007f3fb68cb000)

Может быть TeX?

Как уже верно ответили, я делаю в OpenOffice. Кроме того, я ознакомился с базовыми принципами книжной вёрстки, чтобы моя книга выглядела, скажем так, «по-настоящему». :-)

Очень нужен вариант в формате ePUB!

Я с большим уважением отношусь к людям, учившимся в МФТИ. Более того, в студенческую бытность я лично соприкасался со многими из них. Классные ребята. Однако большинство из них (к счастью, не все) не были способны объяснить простому человеку (например, мне), чем они занимаются. Да, многие из них занимались действительно сложными вещами (скажем, физика жидких кристаллов), но, как говорил Альберт Эйнштейн, «если вы не можете объяснить свою теорию шестилетнему ребёнку, значит вы и сами эту теорию не понимаете».

Это не проблема МФТИ, нет! Подобное я наблюдал и у выпускников Бауманки, и МИФИ, и МГУ. К сожалению, умение простым языком объяснить сложные вещи присуще далеко не всем умным людям.

По крайней мере в книге могут присутствовать несколько «слоёв» для разного уровня подготовки или для разных прочтений. И, видимо, не всегда авторы способны выдержать необходимый баланс.

Кстати у Вас не освещены достаточно важные темы:
1) Какие IDE популярны среди Haskel-девелоперов и какую используете лично Вы и почему?

2) Какие существуют способы связывания Haskel с другими языками? К примеру для Java есть JNI для просачивания в мир С\С++. Для Golang есть cgo. А какие для Haskel?

Возможно они в книге описаны, но я их не нашел. Если все-таки есть, то прошу не прятать их, а чуть более выделить в книге и написать отдельным разделом указанным в содержании.

Итог от чтения:
1) Мне книга показалась сложной ;( Страшно представить другие книги по этому языку

Рекомендации:
С кусками кода поступить точно также как Брюс Эккель в своей книге про мышление на Java. Он выделил спец.тегами, написал скрипт и таким образом может выдирать из книги примеры и отправлять на компиляцию и тестирование, чтобы точно быть уверенным что читатель получает корректные куски кода