[Haskell-cafe] A practical Haskell puzzle
apfelmus at quantentunnel.de
Fri Mar 4 14:46:00 CET 2011
Yves Parès wrote:
> Okay thanks I got the difference between both.
> The 'exists' syntax seems very useful. Is it planned to be added to GHC in a
> near future?
Probably not. But once GADTs become more prominent, there might be
pressure to add first-class existential types to the language.
Note that GHC has long supported existential types, just not the
More information about the Haskell-Cafe