On 04/10/06, Joel Koerwer <[EMAIL PROTECTED]> wrote:
I'm posting my solution in hopes to learn from your comments. This solution uses fundeps, multi-parameter classes, and overlapping instances. Note that I don't actually understand these things! :)
Nice work! I haven't tried it out, but you seem to have on the right trick here: typeclass hackery. An interesting related exercise to develop a similar function using Template Haskell [1]. Also of note might be Oleg's writings on true polyvariadic functions [2]. [1]: http://haskell.org/th [2]: http://okmij.org/ftp/Haskell/types.html#polyvar-fn -- -David House, [EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
