種類レベルのかっこはどういう意味ですか？私は以下の種類を理解して

Question

：

String :: * 
[] :: * -> * 
(->) :: * -> * -> * 
(,) :: * -> * -> * 

しかし、この種は何を意味し、それがどのようなタイプを表すのでしょうか？

? :: (* -> *) -> * 

Answer 1

? :: (* -> *) -> *あなたは親切* -> *の?何かに与えれば、あなたがタイプ（種類*の何かを）取り戻すだろうことを意味します。具体的な例を取ってみましょう：Intを含むことを意味します。私は、基礎となるデータ構造としてリスト、セット、または私が欲しいもの（のようなもの* -> *）でIntContainer Sを作ることができます。ただし、fはタイプではありません。タイプになる前に別のタイプを適用する必要があります。それで：IntContainerに何かが適用される必要があります。それには、それに適用されるタイプが必要です。

ghci> :kind IntContainer 
IntContainer :: (* -> *) -> * 

私はIntContainerに優しい* -> *のものを適用することにより、具体的な種類を作ることができます： `データIntContainerのF = IC（F INT）`：

ghci> ic1 = IC [1,2,3] 
ic1 :: IntContainer []       -- [] :: * -> * 
ghci> ic2 = IC (Data.Set.fromList [1,2,3]) 
ic2 :: IntContainer Set       -- Set :: * -> * 
ghci> ic3 = IC (Data.Sequence.fromList [1,2,3]) 
ic3 :: IntContainer Seq       -- Seq :: * -> *