Еще в советские времена (1983) в серии "Математическое обеспечение ЭВМ" была издана прекрасная книга английского специалиста по функциональному программированию Питера Хендерсона "Функциональное программирование. Применение и реализация" (под редакцией А.П.Ершова). Рассматриваются как практические, так и теоретические аспекты функционального программирования, включая реализацию диалекта Lisp. Очень интересное и подробное обсуждение SECD-машины П.Лэндина. Очень рекомендую. Ссылка на книгу
|