Étudier la théorie du langage de programmation

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.$\lambda$

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?

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

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.

Une nouvelle réponse à une vieille question . Vous pourriez être intéressé par la théorie des catégories pour les programmeurs par Bartosz Milewski. Plus généralement, vous pouvez consulter le blog Programming Cafe de Bartosz Milewski .

Ces livres ont des notes élevées et proviennent de différentes communautés scientifiques:

Tapez Théorie et programmation fonctionnelle par Simon Thompson.

Structure et interprétation des programmes informatiques