haskell maybe怎么用
答案:1 悬赏:0 手机版
解决时间 2021-11-16 05:23
- 提问者网友：川水往事
- 2021-11-15 09:48
haskell maybe怎么用
最佳答案
- 五星知识达人网友：酒醒三更
- 2021-11-15 11:21
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会更加容易。
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会更加容易。
我要举报
如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
点此我要举报以上问答信息
大家都在看
推荐资讯