18

重複の可能性：
Haskell奇妙な種類：（->）の種類は?? ->？-> *

GHCi（バージョン7.0.2）では、関数の型の種類を尋ねると、結果に疑問符が付きます。

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

種類にアスタリスクだけでなく疑問符が含まれているのはなぜ* -> * -> *ですか？疑問符はどういう意味ですか？他のタイプがアスタリスクを使用するのはなぜですか？

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

1 に答える 1

16

および種類は?、??GHC拡張機能、特にボックス化されていないタイプを指します。 http://hackage.haskell.org/trac/ghc/wiki/IntermediateTypesには、拡張された種類?（すべての可能なタイプ） 、（ボックス化されていない#タイプ）、??（ボックス化されたタイプまたは通常のボックス化されていないタイプ—"の最小上限#と*"）、(#)（ボックス化されていないタプル。少数のコンテキストでのみ使用できます）。（標準の種類*は通常の箱入りタイプを指します。）

于 2011-03-19T02:56:35.893 に答える