Haskell "Nothing"値の混乱

Question

私は最近ハスケル号へのダイビングを開始しました。 ITSは非常に興味深いが、Nothingの定義が私をバッフルとGHCiの

Prelude> :t Nothing 
Nothing :: Maybe a 

で。で沈没されていないNothingはJust Nothing、なぜMaybe aではないでしょうか？

Answer 1

はMaybeタイプの定義である：

data Maybe a = Nothing | Just a 

これは、いくつかのタイプaため、タイプMaybe aは2つのコンストラクタを有すると述べている：NothingとJust a（aがMaybeが適用されるのと同じ型の変数でありますLHS上で）。

Just "foo"のタイプがMaybe Stringで、Just 'c'のタイプがMaybe Charであることを確認してください。しかし、どのタイプがNothingですか？ Nothingには値が含まれていないので、そのコンストラクタはa型変数を使用しないため、その型を特定の形式のMaybeに制限するものはありません。

これは、それを「多相定数」にします。 Nothingは、Maybeタイプが期待されるコンテキストで使用できます。なぜなら、すべてのタイプで同じように機能するからです。そのため、GHCiはそのタイプを単にMaybe aと報告しています。aは任意のタイプを表す変数であり、参照するタイプはNothingの値が使用されているコンテキストに基づいて推論によって決定されます。しかし、Nothingだけを指定すると、その特定のタイプに関する追加の手がかりがないので、変数が表示されます。

> :t Nothing 
Nothing :: Maybe a 
> :t (Nothing :: Maybe Int) 
(Nothing :: Maybe Int) :: Maybe Int 
> :t (Nothing :: Maybe Char) 
(Nothing :: Maybe Char) :: Maybe Char 

そして、Just Nothing :: Maybe (Maybe a); Maybeが別のMaybeにラップされています。

Answer 2

Maybeが

data Maybe a = Nothing | Just a 

定義されるようNothingは全てaの型Maybe aの（パラメータなし）値コンストラクタであり、それが表す値は、それらがMaybe Boolである、すべてのタイプMaybe aに属することができ、Maybe [IO (Int,Char)]又はaがインスタンス化されます。

Answer 3

Maybeが

data Maybe a = Nothing | Just a 

として定義されているので、それはNothingまたはJust aのいずれかとすることができます。 Mayba aがタイプであり、NothingとJust aは値コンストラクタです。 Just Nothingはおそらく、おそらくMaybe (Maybe a)の中にラップされています。ここ

Answer 4

サブタイプがあるScalaを検討してください。 Nothingに相当するものはNoneと呼ばれます。 NoneはタイプNoneであり、サブタイプはOption[a]です。Justに相当するScalaは、タイプSome[Foo]であり、サブタイプがOption[Foo]であるSome(foo)です。 Haskellはサブタイプを持たないため、共通のスーパータイプとして両方の型をタイプします。