La seguente relazione di stage illustra l'implementazione di un piccolo preprocessore Magda-Haskell con l'aggiunta di typechecking. Il linguaggio di partenza è Magda, un linguaggio imperativo orientato ai mixin e staticamente tipato, mentre il linguaggio di arrivo è Haskell, un linguaggio funzionale.
Un preprocessore Magda-Haskell con typechecking
TALLONE, GIOELE
2019/2020
Abstract
La seguente relazione di stage illustra l'implementazione di un piccolo preprocessore Magda-Haskell con l'aggiunta di typechecking. Il linguaggio di partenza è Magda, un linguaggio imperativo orientato ai mixin e staticamente tipato, mentre il linguaggio di arrivo è Haskell, un linguaggio funzionale.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
859446_magdahaskellcontypechecking.pdf
non disponibili
Tipologia:
Altro materiale allegato
Dimensione
442.33 kB
Formato
Adobe PDF
|
442.33 kB | Adobe PDF |
I documenti in UNITESI sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/20.500.14240/126091