ocaml - ocaml 固定点函数

Question

所以我正在做一个关于 ocaml 的作业，我对如何编写一个函数 fixpoint 感到困惑，它应该比较一个函数和一个 int x, f(x) 并像 f(f(x) 一样继续递归地比较它们)), f(f(f(x))) 直到两个连续的值相等，然后打印该值。

我们应该使用我们之前编写的 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

如前所述，您不应该只有一个火柴盒。

之后，考虑以下事项：

避免无限循环会很有趣
你有两种情况：f(x) = x 和 f(x) != x，你可以在比赛中使用这个测试，但不仅仅是。
您可以匹配两个表达式：

匹配 value1, value2 = value3 与

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

我的功能有效，但这是你的功课，所以你必须工作一点;-)

1 回答 1