ocaml - ocaml フィックスポイント関数

Question

だから私は ocaml で割り当てを行っており、関数と int x、f(x) を比較し、 f(f(x) ))、f(f(f(x))) を 2 つの連続する値が等しくなるまで繰り返し、その後値を出力します。

以前に書いた wwhile 関数を使用することになっています。

let rec wwhile (f,b) = match f(b) with
|(integer, boolean) -> if boolean == false then integer 
                       else wwhile (f, integer)

リンクはこちら

私が立ち往生しているフィックスポイント機能です。

score 0 · Accepted Answer

前述のように、一致するケースは 1 つだけであってはなりません。

その後、次のことを考慮してください。

無限ループを回避するのは面白いだろう
f(x) = x と f(x) != x の 2 つのケースがあります。このテストを試合で使用できますが、それだけではありません。
次の 2 つの式を一致させることができます。

value1、value2 = value3 と一致

| | v1case1、v2vase1 -> ... | v1case2、v2case2 -> ...

私の機能は動作しますが、それはあなたの宿題なので、少し作業する必要があります ;-)

1 に答える 1