Je m'intéresse à divers sujets comme la logique combinatoire, le calcul lambda, la programmation fonctionnelle depuis un certain temps et je les étudie. Cependant, contrairement à la «Théorie du calcul» qui s'efforce de répondre à la question de la «calculabilité», c'est-à-dire des choses qui peuvent / ne peuvent pas être calculées avec diverses contraintes, j'ai du mal à trouver l'analogue de la «Théorie de la programmation».
Wikipedia le décrit comme:
La théorie des langages de programmation (PLT) est une branche de l'informatique qui traite de la conception, de la mise en œuvre, de l'analyse, de la caractérisation et de la classification des langages de programmation et de leurs caractéristiques individuelles.
C'est comme dire "tout" qui n'est pas vraiment spécifique.
La progression commune des sujets est généralement la suivante:
Logique combinatoire> Calcul lambda> Théorie des types de Martin Lof> Calcul lambda typé> (Quelque chose se passe ici)> Langages de programmation développés - qui ont très peu de connexion avec CL /