[Haskell] generalised algebraic data types, existential types,
and phantom types
abe.egnor at gmail.com
Mon Jul 19 22:48:23 EDT 2004
I briefly skimmed the paper mentioned in a recent mailing on the
ghc-users list that describes generalised algebraic data types
my reaction can be summed up as "nifty!".
I was curious to see if I could implement anything similar in current
haskell, and ended up with the attached code. The main point of
interest for me is the combination of phantom types and existential
types; I'd never had the need to combine the two before.
Is there any closer approximation possible? My code is close, but the
type-safety isn't checked by the compiler (although it should be safe,
if only the smart constructors are used), and it has that extra
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 1191 bytes
Desc: not available
Url : http://www.haskell.org//pipermail/haskell/attachments/20040719/e5ad6eb4/data-0001.obj
More information about the Haskell