Estudiar Teoría del Lenguaje de Programación

15

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.λ

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?

Daniel Gratzer
fuente

Respuestas:

10

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

  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.
Andrej Bauer
fuente
Fui Domains and Lambda-Calculitan bien como Design Concepts in Programming Languages(grueso pero valió la pena hasta ahora)
Daniel Gratzer