[Haskell-cafe] Constructor classes implementation
sean.seefried at gmail.com
Thu Feb 16 21:34:41 EST 2006
If you're interested in an implementation of constructor classes
(type classes which can take constructors as arguments; already
implemented in Haskell) please see:
This should help understanding the paper by Mark P. Jones called "A
system of constructor classes: overloading and implicit higher-order
polymorphism" much easier.
The implementation not only infers the type but also prints out a
trace of the derivation tree for the syntax directed rules.
p.s. If you find any bugs, please let me know.
More information about the Haskell-Cafe