haskell - 現物署名の制約とは

Question

を検査すると、次kindのMaybeようになります。

λ> :k Maybe
Maybe :: * -> *

さて、Monad私がこれを得る種類を調べると：

λ> :k Monad
Monad :: (* -> *) -> Constraint

そこには何がConstraintあり、なぜそれが必要なのですか? なぜこれだけではないの* -> *ですか？

score 12 · Accepted Answer

とは異なりMaybe、型Monadではありません。それは型クラスです。

同じことが他の型クラスにも当てはまります。

Num :: * -> Constraint
Functor :: (* -> *) -> Constraint
Bifunctor :: (* -> * -> *) -> Constraint

where*は具象型 (BoolまたはなどInt) を->表し、より高次の型 ( などMaybe) をConstraint表し、型制約の概念を表します。これが理由です：

私たちが知っているように、次のような署名を作成することはできません:

return :: a -> Monad a -- This is nonsense!

を制約Monadとして使用する必要があるため、「これは機能するモナドでなければならない」と言うには:

return :: (Monad m) => a -> m a

returnこれを行うのは、が古い type では機能しないことがわかっているためです。そのため、さまざまな type の動作をという名前でm定義しています。つまり、モナドと呼べる単一のものはなく、モナドと呼べる振る舞いだけが存在します。returnMonad

このため、この関数を使用するには何かを Monad として事前に定義しておく必要があるということで、この型制約を作成しました。これが kind がMonadisである理由です(* -> *) -> Constraint- それ自体は型ではありません!

MaybeのインスタンスですMonad。これは、どこかで誰かが次のように書いていることを意味します。

instance Monad Maybe where
  (>>=) = ... -- etc

Maybe...そして、モナドとしてどのように振る舞うべきかを定義しました。Maybeこれが、前置制約がある関数または型で使用できる理由Monad m => ...です。これは基本的に、によって適用される制約を定義する場所Monadです。

score 8 · Accepted Answer

Constraintは、Show Int、Monad Maybe、などの種類ですMonoid [a]。=>大まかに言えば、これはin 型注釈の左側で発生する可能性のあるすべての種類です。

今以来

Show Int :: Constraint

型でIntあり、つまり

Int :: *

次のように機能的な種類を割り当てることができShowます

Show :: * -> Constraint
             ^-- the result kind
        ^-- the kind of Int

あなたの場合、たまたま aがのMonadような引数を取るMaybeので、

Maybe Int :: *
Maybe :: * -> *
Monad :: (* -> *) -> Constraint
                     ^-- the result kind
         ^-- the kind of Maybe

2 に答える 2