a universal printer for Haskell?

Johan Jeuring johanj@cs.uu.nl
Wed, 20 Feb 2002 10:01:50 +0100

> 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:


-- Johan