2
Ricerca sull'inferenza di tipo basata sul sito di chiamata?
Sto cercando di saperne di più sulla verifica del tipo di intero programma e sui sistemi di inferenza dei tipi che utilizzano le informazioni dai siti di chiamata delle funzioni per calcolare le informazioni sul tipo (oltre all'approccio standard dell'uso del corpo della funzione). Ad esempio, un tale algoritmo potrebbe …