Ангэ · Эсэф

Сегодня, просматривая свою коллекцию книжек и paper-ов по функциональному программированию, решил посмотреть, что там пишет Simon L. Peyton Jones в своей книге "The implementation of functional programming languages". И был приятно удивлён - как же классно он пишет! Хотел всего лишь прочесть вступление и зачитался! :) Меньше чем за 30 первых страниц книги получаем чёткое, сжатое, понятное и хорошо иллюстрированное описание таких тем:

• синтаксис лямбда-исчисления (в дальнейшем ЛИ)


• карринг


• операционная семантика ЛИ


• бета-редукция, альфа- и эта-преобразования и что они значат


• порядок редукции, его оптимальность


• нормальный порядок редукции


• теоремы Чёрча-Россера


• пример выражения, у которого нет нормальной формы


• как выражать рекурсивные функции в ЛИ


• Y-комбинатор


• денотационная семантика ЛИ, отличие денотационной семантики от операционной


• bottom _|_


• строгость и ленивость функций

Конечно, почти все эти темы и ЛИ в общем являются классикой, так сказать ядром функционального программирования, и я про них неоднократно читал раньше в разных источниках. Но столь хорошее описание встречаю, наверное, впервые.

( Дальнейший обзор книги )