[Haskell-cafe] Re: Polymorphic variants
afalloon at synopsys.com
Fri Aug 10 10:59:25 EDT 2007
The proposal that I like the most is this one:
"Open Data Types and Open Functions"
However, it doesn't readily admit using the variants as overlapping
enumerations like John suggested in a previous thread:
In fact it doesn't really support structural sub-typing at all (the way
that polymorphic variants in Ocaml do), but it does support independent
extension (which PV's don't do).
Dan Doel wrote:
> P.S.: Some papers:
> The second actually discusses all the operations on variants and whatnot. The
> first just mentions that it's a related topic.
More information about the Haskell-Cafe