Modular Evaluation and Interpreters Using Monads and Type Classes by Dan Popa
Lansam aceasta pagina sub aceasta forma cu ocazia Anglo Haskell 2008.
La Anglo Haskell 2008 vom discuta si un posibil raspuns la intrebarea:
Este interpretorul modular o functie cu semnatura, traditionala, de mai jos ?
interpret :: Term -> Env -> Monad
Dan Popa va ragumenta, eventual prin vocea altei persoiane, ca nu este chiar asa.
Modularitatea impune o alta abordare a interpretarii.
Prezentarea PDF care va fi tinuta la Anglo Haskell 2008, daca totul merge bine, este deja disponibila aici:
[http://www.haskell.org/sitewiki/images/1/1d/Prezentare-Anglo-Haskell-2008-draft2-more-slides.pdf - Modular Evaluation and Interpreters Using Monads and Type Classes by Dan Popa - Download from http://www.haskell.org/sitewiki/images/1/1d/Prezentare-Anglo-Haskell-2008-draft2-more-slides.pdf ]
Avertisment: Este mai lunga decat un "Functional Grit" avand peste 40 de slide-uri nu doar doua trei.