CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Generic Monadic Constructs for Embedded Languages

Anders Persson (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Emil Axelsson (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Josef Svenningsson (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers))
Lecture Notes in Computer Science, Implementation and Application of Functional Languages Vol. 7257 (2012),
[Konferensbidrag, refereegranskat]

We present a library of generic monadic constructs for embedded languages. It is an extension of Syntactic, a Haskell library for defining and processing generic abstract syntax. Until now, Syntactic has been mostly suited to implement languages based on pure, side effect free, expressions. The presented extension allows the pure expressions to also contain controlled side effects, enabling the representation of expressions that rely on destructive updates for efficiency. We demonstrate the use- fulness of the extension by giving examples from the embedded language Feldspar which is implemented using Syntactic.



Den här publikationen ingår i följande styrkeområden:

Läs mer om Chalmers styrkeområden  

Denna post skapades 2012-04-16. Senast ändrad 2012-09-11.
CPL Pubid: 156693

 

Läs direkt!


Länk till annan sajt (kan kräva inloggning)