[Haskell-cafe] introspection | meta data
MR K P SCHUPKE
k.schupke at imperial.ac.uk
Thu Aug 5 12:14:48 EDT 2004
>Introspection in Haskell is provided by the Data.Generics module.
The difference between the Data.Typeable and HList approach is that
Generics use run-time information to make choises, HLists use the
type system to make static guarantes. You can actually combine
the two quite nicely and end up with statically constrained dynamics
(or Stanamics as Ralf calls them) ... That is a dynamic opaque container
constrained to contain only a certain group of types statically!
More information about the Haskell-Cafe