3
¿Qué debería estar demostrando una prueba de corrección para un typechecker?
He estado programando durante varios años, pero no estoy muy familiarizado con el CS teórico. Recientemente he estado tratando de estudiar lenguajes de programación y, como parte de eso, la verificación de tipos y la inferencia. Mi pregunta es, si trato de escribir una inferencia de tipos y un programa …