在 OCaml 中重复字符串的递归函数

Question

我是绝对的 OCaml 初学者。我想创建一个重复字符 20 次的函数。 就是这个功能，但是出错了，不能用。

let string20 s =
  let n = 20 in
  s ^ string20 s (n - 1);;

string20 "u";;

我想这样跑

# string20 "u"
- : string = "uuuuuuuuuuuuuuuuuuuu"

Answer 1

您的函数 string20 采用一个参数，但您使用 2 个参数递归调用它。

基本的想法在那里，但不是完全正确的形式。一种方法是将 2 参数函数分离为单独的“辅助”函数。正如@PierreG 指出的那样，您需要将辅助函数作为递归函数来处理。

Answer 2

1. Ocaml 中的递归函数用let rec 定义
2. 正如 cmets 中所指出的，您已将函数定义为采用一个参数，但您尝试使用两个参数进行递归调用。

你可能想要这样的东西：

let rec stringn s n =
  match n with
  1 -> s
| _ -> s ^ stringn s (n - 1)
;;

Answer 3

let rec string n s =
  if n = 0 then "" else s ^ string (n - 1) s

let string20 = string 20

Answer 4

将函数分为“固定”部分和归纳部分是一种常见的模式。在这种情况下，需要一个嵌套的辅助函数来在新范围内执行真正的递归工作，而我们希望将输入字符串s 固定为常量，以便我们可以使用附加到s2。 s2 是一个累加器，随着时间的推移会建立一系列字符串，而 c 是一个电感器，在基本情况下倒数到 1。

let repeat s n = 
  let rec helper s1 n1 = 
    if n1 = 0 then s1 else helper (s1 ^ s) (n1 - 1)
  in helper "" n

非尾调用版本更简单，因为您根本不需要辅助函数：

let rec repeat s n = 
  if n = 0 then "" else s ^ repeat s (n - 1)

在旁注中，对于像 Ocaml 这样具有一流函数的函数式语言，一个非常有趣的事情是柯里化（或部分应用程序）。在这种情况下，您可以创建一个名为repeat 的函数，该函数接受两个参数n 类型为int 和s 类型为string 如上所述，并将其部分应用于n 或s 像这样：

# (* top-level *)
# let repeat_foo = repeat "foo";;
# repeat_foo 5;;
- : bytes = "foofoofoofoofoo"   (* top-level output *)

如果n 参数被标记如下：

let rec repeat ?(n = 0) s = 
      if n = 0 then "" else s ^ repeat s (n - 1)

可以利用应用顺序，使功能更加灵活：

# (* top-level *)
# let repeat_10 = repeat ~n:10;;
# repeat_10 "foo";;
- : bytes = "foofoofoofoofoofoofoofoofoofoo" (* top-level output *)

请参阅我的帖子 Currying Exercise in JavaScript（虽然它是用 JavaScript 编写的，但很容易理解）和这个 lambda calculus primer。