Теория категорий и функциональное программирование

[repalov]

Следующий семинар, насколько я понял, будет посвящён применению теории категорий 
в функциональном программировании.

Несколько ссылок по теме:

Сказка про репку в катаморфизмах (от Дмитрия Астапова)

Статья про катаморфизмы на кноле с примерами на Haskell

Там в разделе литературы есть ссылка на классическую работу: 
E. Meijer, M. Fokkinga, R. Paterson

Comments

[repalov]

Последняя ссылка у меня открывается, а предпоследняя -- нет.
Но эта статья много где лежит. Например, здесь:
http://wwwhome.cs.utwente.nl/~fokkinga/mmf91m.ps

Реквестирую вебкаст

[bik_top]

А можно сделать аудиозапись следующего семинара? Буду очень признателен. Вероятно, ближайшую субботу я (опять) пропущу, а тема очень интересная. Участникам сообщества не из Ростова тоже было бы удобнее слушать, а не просто просматривать слайды. (А видеозапись смотреть ещё лучше.)

Re: Реквестирую вебкаст

[ulysses4ever]

Тебе-то зачем, ты всё знаешь =)

Re: Реквестирую вебкаст

[bik_top]

Как это всё? Алгебру не знаю нифига, приходится практически с нуля осваивать по Кострикину и Шафаревичу. Хаскель тоже нифига не знаю, по диагонали просмотрел пару книжек Романа Викторовича. Как одно с другим стыкуется всегда интересно послушать. Правда, вместо Хаскеля проще было бы Лисп или Окамл воспринимать, но можно и Хаскель.

Re: Реквестирую вебкаст

[ulysses4ever]

Да собственно алгебры там практически нет, есть каких-то категорий чуть. А твоё „по диагонали“, я думаю, перекроет знания многих.

[ulysses4ever]

Да, про бананы знаю, статья давно у меня есть. Как и то, что дал Осман на семинаре (про inductive-coinductive types).

Сейчас из Википедии попал в блог. Ник блоггера доставляет...