当我尝试Haskell种类,并试图获得那种->,并且这出现了:
->
$ ghci ... Prelude> :k (->) (->) :: ?? -> ? -> * Prelude>
而不是预期的* -> * -> *.有什么??和?事情？它们是指具体类型还是"实物变量"？或者是其他东西？
* -> * -> *
??
?
haskell types type-systems
haskell ×1
type-systems ×1
types ×1