Вивчення теорії мови програмування

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

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

Я читаю SICP (досить просвітницьку книгу), але прагну заглибитися в теорію функціонального програмування. Чи є книги / блоги / сайти / ви-назви-це, які б обговорювали теорію функціональних мов програмування з нуля?

$\lambda$

1. Роберто М. Амадіо та П'єр-Луї Курієн: Домени та Ламбда-Калькулі

Теоретичні типові рахунки простіше отримати:

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

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

Ці книги мають високий рейтинг і виходять у різних наукових спільнотах:

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

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