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?
reference-request
lambda-calculus
functional-programming
books
Daniel Gratzer
fuente
fuente
Domains and Lambda-Calculi
tan bien comoDesign Concepts in Programming Languages
(grueso pero valió la pena hasta ahora)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 .
fuente
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
fuente