Generic monadic constructs for embedded languages
Konferensbidrag (offentliggjort, men ej förlagsutgivet), 2011
We present a library for generic monadic constructs for em- bedded languages. It is an extension of Syntactic, a Haskell library for defining and processing generic abstract syntax. Syntactic works best to implement languages based on pure, side effect free, expressions. The presented extension allows the pure expressions to also contain controlled side effects, enabling efficient representation of expressions that rely on destructive updates for efficiency.