演算子l_op : A list * A list -> A listを定義して、別の演算子を必要とする演算子op : A * A -> Aを定義します。 a0: Aの場合、a1 : Aop a0 a1は常にAとして結果を返します。a1の結果はとなります。は他のa1より意味があります。OCamlで演算子の測定関数を定義します。
直感的l_op al0 al1al0の各要素に対して、opに関して、al1の有意義な要素を見つけに一致の戦略を必要とします。その後、opの結果リストはl_opの結果になります。
したがって、私はの意味がである必要があります。
可能な選択の1つは、機能measure: A * A * A -> intを定義することができます。例えば、measure a0 a1 (op a0 a1)は、op a0 a1が意味をなす方法を表す1から10までのintを与えます。次に、l_op al0 al1の実装では、がal0の場合、a1はmeasure a0 a1 (op a0 a1) >= measure a0 a1' (op a0 a1') for all a1' in al1のようになります。整数演算は理にかなっている方法を表し、そして、私は私がop : A * A -> A * intに少しopを変更...
もう一つの選択である、二つのリストからa0とa1を削除し、2つのリストの残りの部分と一致します。次に、l_op al0 al1の実装では、がal0の場合、a1のようにfor all a1' in al1, m1 >= m1' where (_, m1), (_, m1') = op a0 a1, op a0 a1'が見つかります。
2番目の選択肢の利点は、op a0 a1を実行しながら測定を計算できるため、いくつかのコードを保存できることです。欠点は、op : A * A -> A * intの署名がop : A * A -> Aより格好悪いことです。
だから私の質問は以下のとおりです。
1）があり、おそらくhことによって開始機能を（）測定のこの種の従来の言葉ですが、私はそれを忘れてしまった、誰もが思い出させるだろうか？
2）intは測定に適したタイプですか？たぶん、そのタイプを定義することができます...最も一般的な方法は何ですか？
3）私が上記の選択肢はどれですか？それとも誰かが良いアイデアを持っていますか？