Un interprete astratto per l’inferenza dei tipi Contenuti l’inferenza dei tipi come interprete astratto denotazionale


(nuove) variabili vengono introdotte nella versione astratta di makefun



Scaricare 1.21 Mb.
Pagina9/12
29.03.2019
Dimensione del file1.21 Mb.
1   ...   4   5   6   7   8   9   10   11   12

(nuove) variabili vengono introdotte nella versione astratta di makefun

  • let rec makefun (Fun(ii,aa),(x:eval env)) = let d = newvar() in

  • let t = sem aa (bind(x, ii, d))) in Mkarrow(d, t)

  • il problema

    • la definizione è sbagliata perché la variabile in d può essere istanziata (sottoposta a vincoli) durante la valutazione del corpo della funzione aa


    Abbiamo bisogno dei vincoli

    1   ...   4   5   6   7   8   9   10   11   12


    ©astratto.info 2019
    invia messaggio

        Pagina principale