Emil Axelsson wrote:
Hello Heinrich! Thanks for your interest!
In principle, this is exactly the kind of thing you can do with
syntactic -- if you can make your data type fit into the framework, that
is. A compilation phase would then look something like this:
phase :: AST (C1 :+: TheRest)
I'm happy to announce the first release of syntactic:
http://hackage.haskell.org/package/syntactic
providing generic abstract syntax and utilities for embedded languages.
To get an idea of what it's about, check out the tiny(!) implementation
of (simplified) Feldspar in the Examples director
