Кстати да. Начал читать SICP... давно ещё (ну с момента создания треда), но был вынужден отвлечься на другие книги :( по учёбе и т.п... потом возобновлю чтение и буду освежать память... книжка интересная.
As far as I know there are none. Roman Dushkin's book is a mere translation of YAHT with valuable but non-relevant author's additions. And it is obsolete for now.
The Pierce's TAPL has just been translated. And it's the only ontopic thing you can enjoy in Russian. But this book is mainly theoretic.
Обзорные учебники по функциональному программированию:
1) Functional Programming, Field, Harrison («филд-харрисон», есть на русском)
2) Structure and Interpretation of Computer Programs, Abelson, Sussman («сикп», есть на русском)
Учебники по внутреннему устройству функциональных языков:
1) Functional programming and Parallel Graph Rewriting, Plasmeijer, Eckelen («плазмеер»)
2) Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell. Peyton Jones
Жесткая математика:
1) Lambda Calculus. Its syntax and semantics. Barendregt (есть на русском)
2) Lambda Calculi with Types. Barendregt
3) Programming in Martin-Löf's Type Theory: An Introduction, Nordstrom
4) Notions of Computation and Monads, Moggi
На русском есть «Функциональное программирование» Филд и Харрисон, хорошая книжка, но в хорошем качестве найти проблематично. А вообще определись, для чего тебе оно, если хочешь писать софт - прочитай Real world haskell или Learn you haskell for Great Good и не парься, а станет нехватать - начинай ботать книжки по теории, просто так их читать довольно нудно, имхо.