Generic Monadic Constructs for Embedded Languages
Paper in proceedings, 2012

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.

Author

Anders Persson

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Emil Axelsson

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Josef Svenningsson

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Lecture Notes in Computer Science, Implementation and Application of Functional Languages

Vol. 7257

Areas of Advance

Information and Communication Technology

Subject Categories

Software Engineering

More information

Created

10/6/2017