a universal printer for Haskell?

[Johan Jeuring]

> 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