ハスケル初心者

Question

なぜ私はGHCiから次の応答を得るのか分かりません。 Maybeはコンストラクタ関数ではありませんか？

Prelude> :t Maybe 

<interactive>:1:1: Not in scope: data constructor `Maybe' 
Prelude> let e = Maybe 5 

<interactive>:1:9: Not in scope: data constructor `Maybe' 

Answer 1

Maybeはタイプ名前です。そのタイプのコンストラクタはJustとNothingです。したがって、実際の値は、Just 5（返す値がある場合）またはNothing（空の場合）のいずれかの形式です。

Answer 2

Maybeはtype constructorであり、その2つの可能なdata constructorsはNothingとJustあります。だからMaybe 5の代わりにJust 5と言う必要があります。このようなタイプはMaybe Int（予告かもしれない新しいタイプを（結果の型はMaybe aにaの種類によって異なります）、構築するために使用されているので

> let x = Just 5 
> x 
Just 5 
> let y = Nothing 
> y 
Nothing 
> :type x 
x :: Maybe Integer 
> :type y 
y :: Maybe a 
> :info Maybe 
data Maybe a = Nothing | Just a  -- Defined in Data.Maybe 
instance Eq a => Eq (Maybe a) -- Defined in Data.Maybe 
instance Monad Maybe -- Defined in Data.Maybe 
instance Functor Maybe -- Defined in Data.Maybe 
instance Ord a => Ord (Maybe a) -- Defined in Data.Maybe 
instance Read a => Read (Maybe a) -- Defined in GHC.Read 
instance Show a => Show (Maybe a) -- Defined in GHC.Show 

Maybeは型コンストラクタで、何のタイプのparam aはもうありませんつまり、すべての型パラメーターがバインドされています）。 Just aおよびNothingは、特定のMaybeタイプのインスタンスを作成するために使用されるため、データコンストラクタです。たとえば、Just IntはMaybe Intのインスタンスを作成します。

もう1つの主な違いは、パターンマッチングでのみデータコンストラクタを使用できることです。あなたが言うことができません。

case foo of 
    Maybe a -> ... 

あなたが言っているでしょう：*

case foo of 
    Just a -> ... 
    Nothing -> ...