polykinds

13calore

3risposta

RankNTypes e PolyKinds

Qual è la differenza tra f1 e f2? $ ghci -XRankNTypes -XPolyKinds Prelude> let f1 = undefined :: (forall a m. m a -> Int) -> Int Prelude> let f2 = undefined :: (forall (a :: k) m. m a -> Int) -> In

haskell polymorphism higher-rank-types polykinds 2015-02-27

---