Question

我正在阅读Learn you a haskell本书，在第8章中有一段代码看起来像这样

data LockerState = Taken | Free deriving (Eq, Show)
type Code = String
type LockerMap = Map.Map Int (LockerState, Code)

lookup' :: Int -> LockerMap -> Either String Code
lookup' num_ map_ =
   case (Map.lookup num_ map_) of
      Nothing -> Left $ "LockerNumber doesn't exist!"
      Just (state, code) -> if state == Taken
                              then Left $ "LockerNumber already taken!"
                              else Right $ code

这很有效。但是，我想将if / else块转换为这样的保护语句：

lookup' :: Int -> LockerMap -> Either String Code
lookup' num_ map_ =
   case (Map.lookup num_ map_) of
      Nothing -> Left $ "LockerNumber doesn't exist!"
      Just (state, code) ->
         | state == Taken = Left $ "LockerNumber already taken!"
         | otherwise = Right $ Code

这不编译。似乎在Haskell中使用防护是非常严格/非直观的。 SO Ex1 SO Ex2。是否有一个明确的来源，我可以阅读，告诉我哪些地方我可以使用警卫？

Answer 1

允许使用两个守卫：功能定义和case表达式。在这两种情况下，警卫在模式之后显示，在之前显示，因此您在函数中使用=并在->中使用case分支，像往常一样：

divide x y | y == 0 = Nothing -------- | otherwise = Just (x / y) ----------- positively mx = case mx of Just x | x > 0 -> Just x ------- _ -> Nothing

警卫只是模式的约束，因此Just x匹配任何非Nothing值，但Just x | x > 0仅匹配包裹的Just价值也是积极的。

我认为最终引用是Haskell Report，特别是§3.13案例表达式和§4.4.3函数和模式绑定，它们描述了守卫的语法并指定了它们的允许位置。

在您的代码中，您需要：

Just (state, code) | state == Taken -> Left "LockerNumber already taken!" | otherwise -> Right code

仅凭模式也可以表达：

Just (Taken, _) -> Left "LockerNumber already taken!" Just (_, code) -> Right code

Haskell - 内部案例陈述

1 个答案: