GHCi'de, niçin işlev türü `` tür (->) `soru işaretlerini içerir (->) :: ?? ->? -> * `?

Question

Olası Çoğalt:

Prelude> :kind (->) 
(->) :: ?? -> ? -> * 

: Ben işlevi Çeşidi tür sorarsanız
Haskell Weird Kinds: Kind of (->) is ?? -> ? -> *

GHCi yılında

(versiyon 7.0.2), sonuç soru işaretleri var

Neden tür sadece yıldız işareti * -> * -> * yerine soru işaretlerini içerir? Soru işaretleri ne anlama geliyor? Neden diğer türler sadece yıldız işaretleri kullanıyor?

Prelude> :kind (,) 
(,) :: * -> * -> * 

Answer 1

? ve ?? çeşit GHC uzantıları, özellikle kutulanmamış tipleri ile ilgilidir. ki sadece olabilir (#) (kutulamasının küpe, - ("# ve * en üst sınır" kutu veya normal kutulamasının tip), http://hackage.haskell.org/trac/ghc/wiki/IntermediateTypes uzatılmış tiplerin arasındaki ilişkileri ? (tüm olası tip), # (kutulamasının tip), ?? gösteren bir şema yer alır az sayıda bağlamda kullanılabilir). (Standart tür *, normal kutulu tiplere karşılık gelir.)