[(String1, exp1); という形式のリストを生成する関数があります。(文字列 2、exp2); ...など]
exp は、以前に定義した型です。
そのようなリストが無効かどうかを判断する方法が必要です。繰り返し文字列があり、それぞれに異なる exp がペアになっている場合、リストは無効です。すなわち:
[("y", exp1); ("y", exp2); ("x", exp3)] //Invalid, as "y" is repeated with different exps
[("y", exp1); ("y", exp1); ("x", exp3)] //Valid, as "y" is repeated with the same exps
これに対する適切な解決策を探し、パターン マッチングを使用してみましたが、うまくいきませんでした。私が見逃しているこれに対する簡単な解決策はありますか?ありがとう!