pufuwozu/roy — Issue #41: Use intermediate representation like Haskell "Core"
Author: eegg
Created: 2011-12-03 20:46:58+00:00
State: open

It would be useful to define a minimal simple functional intermediate language to which Roy can be compiled, analogous to [Haskell Core](http://stackoverflow.com/questions/6121146/reading-ghc-core). This would:

* clearly separate work on syntax and sugar from work on semantics.
* simplify the task of defining Roy's semantics.
* provide a language on which optimizations can be done.