L'étude de programmation théorie Langue

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?

Answer 1

Il est difficile de trouver des livres qui prennent en compte la sémantique dénotationnelle de $ \ lambda $ -calcul. Une possibilité est:

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

Comptes de type-théorétique sont plus faciles à saisir:

1. Bob Harper, Fondations pratiques de langages de programmation (il y a aussi un version imprimée ).
2. Benjamin Pierce, Types et programmation de langues.
3. Le cours de Frank Pfenning sur Calcul et déduction, je pense qu'il a également publié un livre portant le même titre.

Answer 2

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.

Answer 3

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.

Structure et interprétation des programmes informatiques