[Haskell-cafe] Examples of Mutually Recursive Types
wren ng thornton
wren at freegeek.org
Sun Oct 26 12:55:37 EDT 2008
Hugo Pacheco wrote:
> Hi all,
> I have been searching for examples of Haskell "real scenarios" that employ
> mutually recursive datatype definitions.
> Does anyone know some interesting libraries or structures that I could play
Tim Sheard presents a realistic use case in . We're using it in a
logic language compiler, though your definitions of realism may vary.
There's an expanded version of the two-level types idea in .
More information about the Haskell-Cafe