haskell - 如何在 Haskell 中使用 let 和守卫？

Question

我正在尝试在 Haskell 中执行以下操作：

 someFunction :: [] -> Int
 someFunction list 
 let a
 | length list == 1 = 10
 | otherwise = 0
 b
 | length list == 1 = 10 
 | otherwise = 0
 in findValues (a+b)

因此 a 和 b 的值将取决于是否满足守卫中的条件。这种语法不断给我错误，我不知道为什么。我需要使用 where 子句还是有正确的“let”语法来实现我想要的？

谢谢你的帮助

Answer 1

这是可行的，但请记住这length list == 1是非常低效的：它将扫描所有条目以逐一计数，花费 O(N) 时间与 1 进行比较。

相反，请考虑使用case .. of可以在恒定时间内检查的。

someFunction :: [] -> Int
someFunction list = let
   a = case list of
       [_] -> 10   -- list is of the form [x] for some x
       _   -> 0    -- list is of any other form
   b = case list of
       [_] -> 10
       _   -> 0
   in findValues (a+b)

甚至：

someFunction :: [] -> Int
someFunction list = let
   (a,b) = case list of
       [_] -> (10,10)    -- list is of the form [x] for some x
       _   -> (0 ,0 )    -- list is of any other form
   in findValues (a+b)

（另请注意a和b具有相同的价值：这是故意的，还是代码只是一个示例？）

如果可能的话，我强烈建议避免使用有利于模式匹配的守卫。

Answer 2

这有点难说，但我猜你的意思是

someFunction :: [] -> Int
someFunction list =
  let a | length list == 1 = 10
        | otherwise = 0
      b | length list == 1 = 10 
        | otherwise = 0
  in findValues (a+b)