Здравствуйте, ON, Вы писали:

ON>From: Курилка

>>Не совсем понятно что ты хочешь — мат. часть или исходники? (ну вещи ведь совсем разные по сути) Если по поводу мат. >части, то тут главенствуют вроде бы как лямбда-исчисления (знатоки меня поправят, если что)

ON>И то и другое.
ON>- теорию, желательно по-русски.
ON>- хотя бы примерно описание как работает то, что ФЯ-компиляторы выдают.
Ищи эту книгу.
А.Филд, П.Харрисон "функциональное программирование" М.Мир 1993
Там есть исчерпывающие ответы на эти вопросы.