`f x = x`は` f = id`と等価ではありませんか？

Question

リストの2つの同じエントリを削除する関数を作成しようとしました。 （リストに2つの同一のエントリがあるとすぐに、それらを削除する必要があります）。再帰関数を実行すると、期待どおりに機能します。これは、パターンマッチングに依存しています：

f :: Eq a => [a] -> [a] 
f(a:b:xs)|a==b = f xs 
      |otherwise = a : f (b:xs) 
f x=x        -- if the list has less than two entries 

は、今私はしかし、我々はf=idように、第2のケースを書き換えることができますが、コード

f :: Eq a => [a] -> [a] 
f(a:b:xs)|a==b = f xs 
     |otherwise = a : f (b:xs) 
f = id 

のために私は理解していないエラー、以下の取得：

を

\path\to\my\program.hs:1:1: 
Equations for `f' have different numbers of arguments 
    \path\to\my\program.hs: 
(1,1)-(2,34) 
    \path\to\my\program.hs: 
3:1-6 
Failed, modules loaded: none. 

私は両方とも同じ数の引数を持っていますが、GHCは同意していないようです。

Try it online!

Answer 1

関数の区分的定義はファーストクラスの構文ではないことに注意してください。それだけでsyntactic sugar for a case expression次のとおりです。

f :: Eq a => [a] -> [a] 
f = \x -> case x of 
      (a:b:xs) | a == b -> f xs 
        | otherwise -> a : f (b:xs) 
      x -> x 

これは、あなたが一枚に一枚から引数の数を変更できない理由を参照することが少し楽になります：コンパイラが正しくの最後の行に記入することはできませんcase式。

Answer 2

あなたは、機能の異なる方程式間のパラメータを不一致のエラーを取得します。だから、

valid (Just x) = ... 
valid _ = ... 

valid2 = ... 
valid2 = ... 

そして、これは失敗します。

invalid x = ... 
invalid = ... 

あなたが本当にidを使用したい場合、あなたはまだすることができ。それを使用する関数式のパラメータを省略し、ラムダのRHSに再導入します（私は個人的にそれを行うかどうかわかりませんが、状況によって異なります）。言われていること

---

は、GHCで、本当にはf a = aからf = idの間に差があります。

GHCのインライナは、関数定義内にある同じ量のパラメータで呼び出される関数のみインライン化できます。