haskell maybe怎么用

haskell maybe怎么用

Maybe的定义是data Maybe a = Just a | Nothing. 其中Just和Nothing是构造器， a属于任意合法类型。

Nothing多用于表示错误信息。比如这个函数x除以y：
div :: Float -> Float -> Maybe Float
div x y = if (abs y < 0.00001) then Just (x/y)
else Nothing--abs y < 0.00001表示y接近0
在这段程序，如果y接近0，除法结果会是Nothing。如果是div 2.6 2，结果是Just 1.3。
在取出Maybe的Just数据时，你可以用pattern matching（我不确定如何翻译，意思大致是类型结果匹配）取出数据。
如果你学过monad，用return写maybe会更加容易。