2
¿Investigación sobre inferencia de tipos basada en el sitio de la llamada?
Estoy tratando de aprender más sobre la verificación de tipos de todo el programa y los sistemas de inferencia de tipos que usan información de sitios de llamadas de función para calcular la información de tipo (además del enfoque estándar de usar el cuerpo de la función). Por ejemplo, un …