同じ変数とのパターン一致

Question

SMLのパターンマッチングについては疑問があります。 「Programming Language Pragmatics（Second Edition）」の本では、関数内でパターンマッチングを使用するとSMLで同じ変数を複数回表示することはできません。パターンマッチングは、関数が定義されたパターンで見つかるかどうかをチェックし、変数がお互いに関連しているかどうかをチェックするためのものです。しかし、それは私を混乱させました：なぜ、このようなものは実装できませんでしたか？

fun Eq nil = false 
| Eq (e) = false 
| Eq x::x::resto = true //Error 
| Eq x::y::resto = false 

コードチェックのこのスニペットリストの最初の2つの要素が等しい場合： ここ例です。 なぜコードの3行目が間違っているのですか？ありがとうございました。

Answer 1

パターンマッチングはコンパイル時の定数だけを比較し、そうでない場合は単純な変数割り当てを行います。パターンマッチングによる変数比較はできません。 3行目を削除し、4行目を

に変更する

Eq x::y::resto = x = y 

パターンマッチングも順番に行われます。 Eq eは実際にすべてと一致しているため、最終節です。