我可以在Haskell上使用let in guard嗎？

Question

現在我有一個錯誤，說輸入'|'上的解析錯誤 指的是'|' 在if語句之前。 我也不確定我是否可以像下面的代碼那樣使用let in guard。 下面的代碼是我的問題的一個例子，請幫助糾正我的錯誤，提前謝謝！

func x y
   | let 
       sum = x + y
       mult = x * y
   | if sum == 3
       then do
            sum+=1
       else if mult == 5
           then do
                mult -=1

Answer 1

實際上，Haskell2010允許let表達式出現在后衛中。 請在此處查看報告。 |let decls將decls定義的名稱引入環境。

對於你的情況，我們可以寫

fun x y 
  | let sum = x + y, sum == 3 = Just (sum + 1)
  | let mult = x * y, mult == 5 = Just (mult - 1)
  | otherwise = Nothing

Answer 2

不幸的是，我們不能做到這一點與let 。

更確切地說，我們可以寫

func x y | let z = .. in condition = result
         | otherCondition          = otherResult

但z將只在可見的condition ，而不是result ， otherCondition或otherResult 。

（這可以通過使用模式警衛得到改善，但不完全： z仍然不可用在otherCondition和otherResult ）

解決方案是where使用：

  func x y | condition      = result
           | otherCondition = otherResult
           where z = ...

在這里， z隨處可見。

（就個人而言，我不喜歡這種形式where因為它離z的使用太遠了，但在這種情況下我看不到任何簡單的替代方案。）

最后，讓我補充一點，你的代碼對我來說看起來不起作用： if then沒有函數編程中的else if then沒有了，而mult -= 1不能修改變量mult （對於sum += 1 ）。

Answer 3

您可以在頂部使用let ，但必須后跟in以指定要使用定義值的塊。 如果sum /= 3和mul /= 5你也錯過了該做什么的條件。 所以可能會返回一個Maybe類型可能會更好，例如

func :: Integral a => a -> a -> Maybe a
func x y = let sum = x + y
               mul = x * y
            in case (sum, mul) of
               (3, _) -> Just (sum + 1)
               (_, 5) -> Just (mul - 1)
               _      -> Nothing