Początkujący Haskell

Question

Nie rozumiem, dlaczego otrzymałem następującą odpowiedź od GHCi. Czy funkcja konstruktora nie jest 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 jest typ imię. Konstruktorzy tego typu to Just i Nothing, więc rzeczywista wartość typu Może jest w postaci Just 5 (dla przypadków, w których istnieje wartość, którą chcesz zwrócić) lub Nothing (dla pustego przypadku).

Answer 2

Maybe jest type constructor, a jego dwa możliwe data constructors są Nothing i Just. Więc musisz powiedzieć Just 5 zamiast Maybe 5.

> 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 jest konstruktorem typu, ponieważ jest używany do konstruowania nowych typów (typ wynik zależy od rodzaju a w Maybe a), gdzie taki typ może być Maybe Int (zawiadomienie, nie ma typu param a więcej , tzn. wszystkie parametry typu są powiązane). Just a i Nothing są konstruktorami danych, ponieważ są używane do konstruowania wystąpień określonego typu Maybe, na przykład Just Int tworzy wystąpienia Maybe Int.

Inną ważną różnicą jest to, że można używać tylko konstruktorów danych podczas dopasowywania wzorca. Nie można powiedzieć:

case foo of 
    Maybe a -> ... 

Będziesz musiał powiedzieć:

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