ハスケルwhere節の構文doブロック内

Question

mapM_関数呼び出しをHaskellのdoブロック内でリファクタリングしようとしています。私はラムダを（ローカルに）名前付き関数にコードを読みやすくするために抽出したいと思います。私のコードは本来、このようになります

：

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

    return aValue 

私は

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

    return aValue 

にそれを変更したいと思いますが、私はreturn aValueラインの構文エラーを取得しています。私の実際のラムダはより複雑です:-)、しかし、ラムダコードで問題ではないことを確認するために、この同じラムダで試しました。

このコードはどのように書き直すことができますか？代わりにlet ... inを使用する必要がありますか？

Answer 1

ここのものを定義する3類似した（しかし、明確な）方法があります： - ほとんどの方程式スタイルのバインディング

• は、あなたが特定の定義後where句を添付することができ、このよう

  。だから、関数の最後に、またはletまたはそれに囲まれたwhere節で定義されたものを置くことができます。一方

• 、let x = ... in ...はlet後のものが表示されている唯一の場所である、in後部分に評価式あります。

• ブロック内にスコープの暗黙のネストがあるため（最初に定義された後に表示されます）、let x = ...だけを使用できます。これは、以前のフォームと実際は同じです - letの後のdoブロックの残りは実質的にin ...部分です。

あなたはdoブロック内で定義されたものを使用してローカル定義をしたい場合は、あなたの唯一の選択肢は、第三（または引数（複数可）として他の値（複数可）を渡して）です。しかし、あなたの例のような独立したヘルパー関数の場合、どんなスタイルでも動作します。ここではあなたの例だ、それぞれを発揮します

funcが他where句で定義されたものを含め、どこにでもfooに表示されている最初のスタイル、：

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

秒スタイル、funcは内部のみ表示されます

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

そして第三に、スタイル、定義：この場合には全体doブロックでlet表現、それは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

もう1つの方法は、mapM_の代わりにforM_を使用して、引数の順序を反転させることです。 演算子を次のような末尾のラムダ式で使用できます。

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

    return aValue