递归ocaml堆栈溢出

Question

我正在尝试绘制分形：对于每个不完整的圆，我都想绘制一个圆，该圆的大小是该圆的左右两边的一半。 这是我的代码：

let rec drawCircle x y r =
    let halfSize = r/2 in
        draw_circle x y r;
        drawCircle (x+r) y halfSize;
        drawCircle (x-r) y halfSize;;

它可以编译，但是当我运行它时，我会得到堆栈溢出。 问题是为什么以及如何在此功能中修复它？

Answer 1

您的代码没有任何条件可以终止递归。

例如，当r == 1像素时，不要再次调用drawCircle。 或您选择的任何其他情况。