Haskell’овые вкусности

[arseniiv]

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

(Просьба.)

Видел несколько месяцев назад оглавление книги (забыл её название), в которой было много интересного про Haskell, в том числе и какой-то подход к сочинению мелодий. К сожалению, вместе с оглавлением в поставке была только первая глава. Тоже интересная, но не та; а потом по недоразумению я и это удалил. Может, кто знает?

P. S. Ах да, книга англоязычная.

[wolf.ram]

http://www.cs.yale.edu/homes/hudak/SOE/ не оно?

[arseniiv]

Вроде бы не оно. Пока точнее проверить не могу. Первая глава, может быть, начиналась с индуктивных доказательств насчёт разных функций типа (++). Или нет.

[wolf.ram]

В содержании есть глава "Functional Music Composition". Вы просмотрели её в гуглокнигах?

[arseniiv]

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

[Portnov]

Вот в этом треде товарищу указывают на некоторые вкусности: http://www.haskell.org/pipermail/haskel ... 99760.html