[Haskell-cafe] Examples of Mutually Recursive Types

Niklas Broberg niklas.broberg at gmail.com
Sun Oct 26 14:07:13 EDT 2008

> Think of any "real" programming language out there. For example, in many
> languages statements may contain expressions, and expressions in turn may
> contain statements (in Java through anonymous inner classes, for example).

... and as an example of this you could have a look at the
haskell-src(-exts) package that encodes the Haskell syntax as an AST.
For example there are expressions containing statements (e.g. the
do-expression) and statements containing expressions (obviously).



More information about the Haskell-Cafe mailing list