3
Cosa dovrebbe effettivamente dimostrare una prova di correttezza per un typechecker?
Sto programmando da diversi anni, ma non ho molta familiarità con il CS teorico. Di recente ho cercato di studiare i linguaggi di programmazione e, come parte di ciò, il controllo del tipo e l'inferenza. La mia domanda è: se provo a scrivere un'inferenza di tipo e a controllare un …