如何编写使OCaml中的几何级数递归函数？

Question

在OCaml中，对于几何级数，我必须使用第一项和比率的常量值编写递归函数。 我还必须编写一个函数，该函数还具有使用let ... in和具有一个参数的辅助函数的这两个参数。

Answer 1

#something like that ? 
let rec u u0 q = function 
    0 -> u0 
    |n -> q * u u0 q (n-1) 
;; 

测试：

# u 1 2 1;; 
- : int = 2 
# u 1 2 5;; 
- : int = 32