haskell - 予期しないパターンマッチングの動作

Question

これが私のコード（の簡略版）です：

data Exp = Var String

test :: Exp -> String -> Bool
test e vIn = case e of
                  Var vIn -> True
                  _       -> False

これを実行すると：

test (Var "X") "Y"

(Var vIn) と (Var s), s ~= vIn を一致させる必要があるため、これは奇妙です。

誰かが何が起こっているのかを説明し、それを修正する方法を提案できますか?

score 4 · Accepted Answer

vInあなたのマッチのは関数の引数を隠してvInおり、バインディングは常に成功します。新しい変数にバインドし、パターンガードを使用して値が等しいことを確認できます。

test e vIn = case e of
                  Var v | v == vIn -> True
                  _       -> False

Varまたは、次を使用する代わりに、直接照合することもできますcase。

test (Var v) vIn = v == vInt

haskell - 予期しないパターン マッチングの動作