SICP

> SICP

Не, ну она не совсем вроде по функциональному, а по программированию вообще...

Мне скорее надо по λ-исчислению и пр., т.е. сама общая теория.

Лекции тов. Харрисона, ну и сгодится старая книга Барендрегта, есть русский перевод "Ламбда исчисление" (именно так, "ламбда").

Харрисон,Филд - "Функциональное программирование" можно найти в интернете в djvu

Перевод лекций Харрисона - http://code.google.com/p/funprog-ru/

ну и вот тут (http://xtalk.msk.su/~ott/ru/funcprog/) еще ссылки есть

Ок, спасибо за помощь. Еще вопрос: помимо λ-calculus какие сходные разделы математики желательно освоить?

Дискретная математика, алгебра, математическая логика?

Теорию категорий?

Да, теоркат. Особенно обратить внимание на сопряжённые функторы и декартово замкнутые категории.

Книга по теории категорий

Посоветуйте subj.

Душкин. "Функциональное программирование на языке Haskell."

Требует некоторого знания математики, наверное на уровне 2 курса?

> Душкин. "Функциональное программирование на языке Haskell."

Не советую. Категорически. Душкин объясняет для тех, кто знает и без него.

> сопряжённые функторы и декартово замкнутые категории

и какая от этого польза программисту?

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

Мне кажется, что это хорошая книга. Может не самая простая, поэтому я и написал, что не для школьников. Я могу ошибаться, но наверное это единственная книга про Хаскель на русском языке?

> Я могу ошибаться, но наверное это единственная книга про Хаскель на русском языке?

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