[Haskell-cafe] abstract extensible types?
Brandon S. Allbery KF8NH
allbery at ece.cmu.edu
Wed Nov 12 11:31:02 EST 2008
On 2008 Nov 12, at 5:38, Alberto G. Corona wrote:
> Is there any abstract container that permits the addition of new
> types of data? I know how to simulate the extension of Algebraic
> datatypes, but this does not permit the addition of data with new
> types in the same container and recover them in a type-safe way.
> Did I reinvent the Weel? I found something, that permits this for
> any Typeable datatype. For example
I think you want http://www.haskell.org/ghc/docs/latest/html/libraries/base/Data-Dynamic.html
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university KF8NH
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe