haskell - 同一の値に一致するパターン

Question

関数型プログラミング言語（Haskell / F＃/ Caml）のパターンマッチング機能を使用して、同じ値を複数回照合できるかどうか疑問に思いました。

次の例を考えてみてください。

plus a a = 2 * a
plus a b = a + b

最初のバリアントは、関数が2つの類似した値（に格納される）で呼び出されたときに呼び出されますa。

より便利なアプリケーションはこれです（ASTを単純化する）。

simplify (Add a a) = Mult 2 a

しかし、Haskellはこれらのコードを拒否し、定義の競合についてa警告します-関数が同じ値を取得したかどうかを確認する代わりに、明示的なcase/if-checksを実行する必要があります。照合したい変数が複数回発生することを示すトリックはありますか？

score 42 · Accepted Answer

これを非線形パターンと呼びます。少し前まで、これについて haskell-cafe メーリングリストにいくつかのスレッドがありました。ここに2つあります：

結論: 実装することは不可能ではありませんが、単純にするために反対することにしました。

ところで、これを回避する必要はありませifんcase。（少し）きれいな方法は、ガードを使用することです：

a `plus` b
  | a == b = 2*a
  | otherwise = a+b

score 14 · Accepted Answer

等しい必要があることを示すために同じ名前の 2 つのパラメーターを使用することはできませんが、ガードを使用して次のようなケースを区別できます。

plus a b
  | a == b    = 2 * a
  | otherwise = a + b

これは、単純な等式よりも複雑な条件でも機能するため、より柔軟です。

score -3 · Accepted Answer

Haskell で非線形パターンを処理できる新しい関数型プログラミング言語を実装しました。

私の言語では、あなたのplus機能は次のように書かれています。

(define $plus
  (match-lambda [integer integer]
    {[[$a ,a] (* a 2)]
     [[$a $b] (+ a b)]}))

4 に答える 4