Estudiar la teoría del lenguaje de programación

Question

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

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

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?

Answer 1

No es fácil venir por libros que consideren la semántica denotacional de $ lambda $ -calculus. Una posibilidad es:

1. Roberto M. Amadio y Pierre-Louis Curien: Dominios y Lambda-Calculi

Las cuentas teóricas de tipo son más fáciles de obtener:

1. Bob Harper, Fundamentos prácticos de los lenguajes de programación (también hay una versión impresa).
2. Benjamin Pierce, Tipos y lenguajes de programación.
3. Curso de Frank Pfenning en Cálculo y deducción, Creo que también publicó un libro con el mismo título.

Answer 2

Una nueva respuesta a una vieja pregunta. Te podría interesar Teoría de la categoría para programadores por Bartosz Milewski. En general, puedes ver Bartosz Milewski's Programming Cafe Blog.

Answer 3

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

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

Estructura e interpretación de programas de computadora