L'étude de programmation théorie Langue
-
16-10-2019 - |
Question
Je suis devenu récemment très intéressé à comprendre et à prouver les aspects des langages de programmation (fonctionnels).
Cependant, comme je plonge plus profondément dans, des choses comme $ \ lambda $ calcul, la théorie des catégories, et la sémantique dénotationnelle sont un peu difficile à GROK sans explication adéquate.
Je lis SICP (tout à fait un livre instructif) mais je suis à la recherche de plonger plus profondément dans la théorie de la programmation fonctionnelle. Y a-t-il des livres / blogs / sites / vous-nom-il qui discuterait de la théorie des langages de programmation fonctionnelle à partir du sol?
La solution
Il est difficile de trouver des livres qui prennent en compte la sémantique dénotationnelle de $ \ lambda $ -calcul. Une possibilité est:
- Roberto M. Amadio et Pierre-Louis Curien: Domaines et Lambda-Calculi
Comptes de type-théorétique sont plus faciles à saisir:
- Bob Harper, Fondations pratiques de langages de programmation (il y a aussi un version imprimée ).
- Benjamin Pierce, Types et programmation de langues.
- Le cours de Frank Pfenning sur Calcul et déduction, je pense qu'il a également publié un livre portant le même titre.
Autres conseils
Une nouvelle réponse à une question ancienne . Vous pourriez être intéressé par Catégorie Théorie pour les programmeurs par Bartosz Milewski. De manière plus générale, vous pouvez regarder Bartosz Programmation de Milewski Café blog de.
Ces livres ont des notes élevées et viennent sur les différentes communautés scientifiques:
type Théorie et programmation fonctionnelle par Simon Thompson.