当我尝试Haskell种类,并试图获得那种->,并且这出现了:
$ ghci
...
Prelude> :k (->)
(->) :: ?? -> ? -> *
Prelude>
而不是预期的* -> * -> *.有什么??和?事情？它们是指具体类型还是"实物变量"？或者是其他东西？
多态种类是Haskell类型系统的扩展,由UHC 支持,允许
data A x y = A (y x)
被打字(kinded？)as a -> (a -> *) -> *.它们对什么有用？