ハスケルでガードを正しく使うには？

Question

私はHaskellを初めて使い、構文に慣れるための簡単な関数を書こうとしています。特定の要素を特定のインデックスのリストに追加する独自の関数を記述したいと思います。ここで私はアトムに（私のテキストエディタを）書いたものです：

addElem :: a->[a]->Int->[a] 
addElem elem list index 
| index <= 0   = elem:list 
| index < (length list) = a ++ (elem:b) where a = take index list; b = drop index list 
| otherwise    = list 

アイデアは、それがlistの要素と同じ型のものである限り、インデックスがIntとelemあるようフリークアウトではないということですしかし、これをghciにロードしようとすると、「|で解析エラーが発生します」。私は引数の種類を制約する必要がありますか？私はHaskellを学んでいますが、インデントがどのように機能するかを完全に説明する部分にはいないので、私のエラーもそこにあるかもしれません。

Answer 1

whereブロックは、関数全体の最後に発生する必要があり、すべてのケースで共有されます。

addElem :: a -> [a] -> Int -> [a] 
addElem elem list index 
| index <= 0   = elem:list 
| index < (length list) = let a = take index list; b = drop index list in a ++ (elem:b) 
| otherwise    = list 

はまた、letがlet (a,b) = splitAt index list in ...ように、より簡潔に書くことができることに注意してください：あなたは、おそらくlet使用することを意味しました。 splitAtもPreludeにあります。もちろん、whereブロックを関数の最後に移動することもできます（Haskellの怠惰はこれを簡単に理由づけます）。個人的に

addElem :: a -> [a] -> Int -> [a] 
addElem elem list index 
| index <= 0   = elem:list 
| index < (length list) = a ++ (elem:b) 
| otherwise    = list 
where 
    a = take index list 
    b = drop index list 

それはaとbは機能の他の場所で使用できることを示唆しているので、私はこのあまり好きです。

2010 Haskell Reportのセクション4.4.3は、whereが許可されている場所についてさらに詳しく説明しています。