Haskell在do塊中的where子句語法

Question

我正在嘗試在Haskell中的do塊中重構mapM_函數調用。我想提取lambda到一個（本地）命名函數，使代碼更具可讀性。

我的代碼最初看起來是這樣的：

do 
    -- ... 
    mapM_ (\x -> x + 1) aList 

    return aValue 

我想將其更改爲

do 
    -- ... 
    mapM_ func aList 
    where func x = x + 1 

    return aValue 

但我對return aValue線得到一個語法錯誤。我的實際lambda比較複雜:-)，但我確實用這個lambda來嘗試它，以確保它不是lambda代碼中的問題。

我該如何重寫這段代碼？我應該用let ... in代替嗎？

Answer 1

有三個類似（但不同）這裏定義的東西的方法：

• 可以某些定義後附加條款where - 主要是方程式綁定。所以你可以在你的函數的末尾放置一個，或者在用let或者周圍的where子句定義的東西之後。

• 在另一方面，let x = ... in ...是表達式計算結果爲部分in後，這是唯一的地方let後的東西是可見的。

• 在do塊的內部，因爲已經有一個隱式的作用域嵌套（事先在第一次定義之後就可見），所以只能單獨使用let x = ...。這與之前的表格完全相同--區塊的其餘部分實際上是in ...部分。

如果你想使用該do塊內定義一些本地定義，你唯一的選擇是第三（或通過其他值（S）作爲參數（S））。然而，對於像你的例子那樣的獨立幫助函數，任何樣式都可以。這裏是你的榜樣，證明每個：

的第一個樣式，其中func可見在foo任何地方，包括任何的where條款中的其他規定：

foo = do ... 
     mapM_ func aList 
     ... 
     return aValue 
    where func x = x + 1 

第二種風格，其中func是唯一可見的內的let表達，在這種情況下是整個do塊：

foo = let func x = x + 1 
     in do 
     ... 
     mapM_ func aList 
     ... 
     return aValue 

而第三樣式，定義它在do塊內。在這種情況下，func僅在let後纔可見;在第一個...它尚未定義。

foo = do ... 
     let func x = x + 1 
     mapM_ func aList 
     ... 
     return aValue 

哦，好措施：由於let ... in ...是一個表達式，你也可以使用它的任何地方，你有一個表達，說出一些地方的定義。因此，這裏是另一個例子：

foo = do ... 
     let func x = x + 1 in mapM_ func aList 
     ... 
     return aValue 

和以前一樣，func只是let表達，在這種情況下它後單表達，無處內可見。

Answer 2

你的where不應該在函數的結尾嗎？

像這樣：

function aList aValue = do 
    mapM_ func aList 
    return aValue 
    where func x = x + 1 

Answer 3

另一種選擇是使用forM_而不是mapM_，它翻轉參數的順序。然後，您可以使用$運營商，其尾部的lambda表達式如下所示：

do 
    forM_ aList $ \x -> do 
    ... 

    return aValue