Haskell acemi

Question

Neden GHCi'den aşağıdaki yanıtı aldığımı anlamıyorum. Maybe bir yapıcı işlevi değil mi?

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

Maybetip adıdır. Bu tür kurucular Just ve Nothing, bu nedenle Belki türünün bir değeri formu Just 5 (veya geri dönmek istediğiniz bir değer olduğunda) veya Nothing (boş durum için) şeklindedir.

Answer 2

Maybe bir type constructor ve onun iki olası data constructorsNothing ve Just bulunmaktadır. Yani Maybe 5 yerine Just 5 demek zorundasınız.

> 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

yeni türleri oluşturmak için kullanılır, çünkü bir tür yapıcı olduğu böyle bir tip Maybe Int (haber olabilir, (sonuç türü Maybe a içinde a türüne bağlıdır), artık hiçbir tür param a var yani, tüm tip parametreleri bağlanır). Just a ve Nothing, veri kurucularıdır, çünkü belirli bir Maybe türünün örneklerini oluşturmak için kullanılırlar, örneğin Just Int, Maybe Int örneklerini oluşturur.

Diğer önemli bir fark, yalnızca veri eşleştiricilerinde şablon eşleştirmesi yapabilmenizdir. *

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