[Haskell-cafe] ANNOUNCE: Utrecht Haskell Compiler (UHC) -- first
release
wren ng thornton
wren at freegeek.org
Sun Apr 19 16:56:29 EDT 2009
Bulat Ziganshin wrote:
> Hello R.A.,
>
> Sunday, April 19, 2009, 11:46:53 PM, you wrote:
>
>> Does anybody know if there are any plans to incorporate some of
>> these extensions into GHC - specifically the existential typing ?
>
> it is already here, but you should use "forall" keyword instead odf
> "exists"
More particularly, enable Rank2Types and then for any type lambda F and
for any type Y which does not capture @a@:
(x :: exists a. F a) ==> (x :: forall a. F a)
(f :: exists a. (F a -> Y)) ==> (f :: (forall a. F a) -> Y)
--
Live well,
~wren
More information about the Haskell-Cafe
mailing list