在GHCi中,为什么函数arrow:kind( - >)`包括问号`( - >):: ?? - >？ - >*`？

Question

可能重复:
Haskell奇怪的种类:种类( - >)是?? - >？ - >*

在GHCi(版本7.0.2)中,如果我要求函数类型的类型,结果有问号:

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

为什么这种类型包括问号而不是星号* -> * -> *？问号是什么意思？为什么其他类型只使用星号？

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

Answer 1

在?和??种是指GHC的扩展,特别是未装箱的类型. http://hackage.haskell.org/trac/ghc/wiki/IntermediateTypes有一个图表,显示扩展种类?(所有可能的类型),#(未装箱的类型),??(盒装或普通的未装箱类型 - "最小上限#和"之间的关系).*"),(#)(未装箱的元组,只能在少数情况下使用).(标准类型*是指正常的盒装类型.)