Étudier la théorie du langage de programmation

16

Je suis récemment devenu extrêmement intéressé par la compréhension et la démonstration d'aspects des langages de programmation (fonctionnels).

Cependant, alors que je plonge plus profondément, des choses comme calcul, la théorie des catégories et la sémantique dénotationnelle sont un peu difficiles à comprendre sans explication appropriée.λ

J'ai lu SICP (un livre assez instructif) mais je cherche à approfondir la théorie de la programmation fonctionnelle. Y a-t-il des livres / blogs / sites / you-name-it qui discuteraient de la théorie des langages de programmation fonctionnels à partir de zéro?

Daniel Gratzer
la source

Réponses:

10

Il n'est pas facile de trouver des livres qui considèrent la sémantique dénotationnelle de -calculus. Une possibilité est:λ

  1. Roberto M. Amadio et Pierre-Louis Curien: Domaines et Lambda-Calculi

Les comptes théoriques de type sont plus faciles à obtenir:

  1. Bob Harper, Fondements pratiques des langages de programmation (il existe également une version imprimée ).
  2. Benjamin Pierce, Types et langages de programmation .
  3. Le cours de Frank Pfenning sur le calcul et la déduction , je pense qu'il a également publié un livre avec le même titre.
Andrej Bauer
la source
J'y suis allé Domains and Lambda-Calculiaussi bien Design Concepts in Programming Languages(épais mais ça vaut le coup jusqu'à présent)
Daniel Gratzer