Haskell 无法匹配可能涉及的预期类型

Question

我目前正在学习 Haskell，我遇到了一个问题，但我真的不明白问题出在哪里。当我编译下面的代码时，它告诉我“无法将预期类型 'integer' 与实际类型 'Maybe Integer' 匹配”第 17:19 行和 17:27 再次出现相同的错误。

maybe_divide :: Maybe Integer -> Maybe Integer -> Maybe Integer
maybe_divide a b = case valid_div a b of
True  -> Just (a `div` b)
False -> Nothing

valid_div :: Maybe Integer -> Maybe Integer -> Bool
valid_div a b
    | a == Nothing = False
    | b == Nothing = False
    | b == Just 0  = False
    | otherwise = True

任何帮助将不胜感激。谢谢

Answer 1

在maybe_divide中，a和b的类型是Maybe Integer....不能除Maybe Integers

a `div` b --won't work

您必须先“解包”Maybe 值，提取Integers，然后才能在div 中使用它们。 （有几种方法可以做到这一点，包括模式匹配）。