Я недавно начал погружение в Haskell. Ее довольно интересно, но определение Nothing озадачивает меня и не тонет в. На GHCIПутаница над значением Haskell «Nothing»
Prelude> :t Nothing
Nothing :: Maybe a
не должны Nothing быть Just Nothing, почему Maybe a?
Вот определение Maybe типа:
data Maybe a = Nothing | Just a
Это указывает, что для некоторых типов a, тип Maybe a имеет два конструктора: 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.
Maybe определено
data Maybe a = Nothing | Just a
так Nothing является (без параметров) значение конструктор типа Maybe a, для всех a, а значение оно обозначает может принадлежать ко всем типам Maybe a, будь они Maybe Bool, Maybe [IO (Int,Char)] или независимо от того, a создан.
Maybe определяется как
data Maybe a = Nothing | Just a
Так оно может быть либо Nothing или Just a. Mayba a - тип и Nothing и Just a - конструкторы значений. Just Nothing был бы, возможно, завернут внутри, может быть, например, Maybe (Maybe a).
Рассмотрите Scala, у которой есть подтипирование. Его эквивалент Nothing называется None. None имеет тип None, который является подтипом от Option[a].Scala эквивалент Just составляет Some(foo), который имеет тип Some[Foo], который является подтипом от Option[Foo]. Haskell не имеет подтипирования и поэтому отображает оба из них как свой общий супертип, так как это наиболее удобный для них набор.
И так как я помню, что это не тонуло сразу, когда я только начинал: заглавное имя ('Maybe') слева от' = '* встречается только в сигнатурах типов *, тогда как имена для право '=' есть * найдено только в коде *. По соглашению и потому, что значение никогда не может быть двусмысленным, для типов с одним конструктором, часто конструктор типа будет иметь то же имя, что и его тип. Я думаю, что это путает op. – jberryman