Re: [Haskell-cafe] Basic type classing question.

On 9/20/05, Karl Grapone wrote:

What I want to be able to do is add and remove fields while the system is running, I suppose via hs-plugins, and I should be prevented from, for example, accidentally taking an employees first name and using it as a departments address.

I know the HList paper - http://homepages.cwi.nl/~ralf/HList/ - demonstrates type-safe extensible records. However, the type classery behind it may not be totally obvious at first depending on how new to Haskell you are. /g