Изучение теории языка программирования

Question

Недавно я чрезвычайно заинтересован в понимании и доказательстве аспектов (функциональных) языков программирования.

Однако, когда я погружаюсь глубже, такие вещи, как исчисление $ lambda $, теория категорий и денотационная семантика, немного трудно без надлежащего объяснения.

Я читаю SICP (довольно поучительную книгу), но я хочу глубже погрузиться в теорию функционального программирования. Есть ли какие-нибудь книги/блоги/сайты/you-name-это обсуждает теорию функциональных языков программирования с нуля?

Answer 1

Нелегко прийти в книги, которые рассматривают денотационную семантику $ lambda $ -calculus. Одна возможность:

1. Роберто М. Амадио и Пьер-Луи Кюриен: Домены и лямбда-калькули

Теоретичные счета типа легче удержать:

1. Боб Харпер, Практические основы языков программирования (Также есть печатная версия).
2. Бенджамин Пирс, Типы и языки программирования.
3. Курс Фрэнка Пфеннинга на Вычисление и вычет, Я думаю, что он также опубликовал книгу с таким же названием.

Answer 2

Новый ответ на старый вопрос. Анкет Вас может быть заинтересован в Теория категорий для программистов Бартош Майлевски. В целом, вы можете взглянуть на Кафе программирования Bartosz Milewski блог.

Answer 3

Эти книги имеют высокие оценки и приходят в разные научные сообщества:

Теория типа и функциональное программирование Саймона Томпсона.

Структура и интерпретация компьютерных программ