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


Il frammento di linguaggio funzionale senza Let



Scaricare 1.21 Mb.
Pagina3/12
29.03.2019
Dimensione del file1.21 Mb.
1   2   3   4   5   6   7   8   9   ...   12

Il frammento di linguaggio funzionale senza Let

  • type ide = string

  • type exp = Eint of int

  • | Ebool of bool

  • | Den of ide

  • | Prod of exp * exp

  • | Sum of exp * exp

  • | Diff of exp * exp

  • | Eq of exp * exp

  • | Minus of exp

  • | Iszero of exp

  • | Or of exp * exp

  • | And of exp * exp

  • | Not of exp

  • | Ifthenelse of exp * exp * exp

  • | Fun of ide * exp

  • | Appl of exp * exp

  • | Rec of ide * exp

  • con il Let per ottenere il comportamento di ML bisognerebbe adottare un sistema di tipi polimorfo

  • funzioni con un solo argomento per semplicità



La semantica denotazionale modificata

1   2   3   4   5   6   7   8   9   ...   12


©astratto.info 2019
invia messaggio

    Pagina principale