[Haskell-cafe] Serialising types with existential data
avatar at hot.ee
Sat Sep 16 08:49:34 EDT 2006
> Klaus Ostermann and I allude to this non-trivial extensibility problem
> in our GPCE 2006 paper
> and we started to look into ways (not in that paper) to resolve
> the problem in a principled way.
I'm really looking forward to that! For now I'll probably use Template
Haskell to register all instances that have to be serialized and output
the mapping head->type in the end.
More information about the Haskell-Cafe