Estudiar Teoría del Lenguaje de Programación

Recientemente me he vuelto extremadamente interesado en comprender y probar aspectos de lenguajes de programación (funcionales).

Sin embargo, a medida que profundizo, cosas como el cálculo , la teoría de categorías y la semántica denotacional son un poco difíciles de asimilar sin una explicación adecuada.$\lambda$

Leí SICP (un libro bastante esclarecedor) pero estoy buscando profundizar en la teoría de la programación funcional. ¿Hay libros / blogs / sitios / you-name-it que discutan la teoría de los lenguajes de programación funcional desde cero?

No es fácil encontrar libros que consideren la semántica denotacional del cálculo . Una posibilidad es:$\lambda$

1. Roberto M. Amadio y Pierre-Louis Curien: dominios y cálculos lambda

Las cuentas de tipo teórico son más fáciles de conseguir:

1. Bob Harper, Fundamentos prácticos de lenguajes de programación (también hay una versión impresa ).
2. Benjamin Pierce, Tipos y lenguajes de programación .
3. El curso de Frank Pfenning sobre Computación y Deducción , creo que también publicó un libro con el mismo título.

Una nueva respuesta a una vieja pregunta . Quizás te interese la teoría de categorías para programadores de Bartosz Milewski. De manera más general, puede mirar el blog de Programming Cafe de Bartosz Milewski .

Estos libros tienen altas calificaciones y surgen en diferentes comunidades científicas:

Teoría de tipos y programación funcional por Simon Thompson.

Estructura e interpretación de programas de computadora