4 Mar
2011
4 Mar
'11
8:46 a.m.
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 explicit syntax. Regards, Heinrich Apfelmus -- http://apfelmus.nfshost.com