> My point is that there are some things that can't easily be expressed > in current Haskell (like generic printing) that are useful and > might be aided by meta-programming technology. The interesting question > is can it be done in a way that preserves whatever we want from the type > system: safety, security, efficiency, error detection ...
You don't need meta-programming technology (reflection) to do things like generic prinitng. A generic programming extension of Haskell (like Generic Haskell, or derivable classes) can do the job for you. Have a look at: http://www.generic-haskell.org/ -- Johan _______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
