3
Qu'est-ce qu'une preuve d'exactitude pour un vérificateur de typage devrait réellement prouver?
Je programme depuis plusieurs années, mais je ne connais pas très bien le CS théorique. J'ai récemment essayé d'étudier les langages de programmation, et dans le cadre de cela, la vérification de type et l'inférence. Ma question est, si j'essaie d'écrire un programme d'inférence de type et de vérification d'un …