河内塔在OCaml

Question

我是一名初学者的OCaml程序员，试图在解决方案中的OCaml中实现解决河内塔楼问题的功能，该方法由一系列移动组成，其中“移动”存储在表格的元组中（startPeg，endPeg）。

这是我到目前为止的内容：

type peg = A | B | C
type move = peg * peg


let towers (m : int) : (move list) =
  let rec solve n a b c = match n with
  |0 -> []
  |_ -> (solve (n-1) a c b) :: (a,b) :: (solve (n-1) c b a) in
  solve m A B C 

我收到错误消息：

文件“ induction.ml”，第8行，字符8-27：错误：此表达式的类型为'a列表，但应为'a类型的表达式。类型变量'a出现在'a列表内

而且不确定如何解决它。 谁能帮助我纠正错误？ 谢谢

Answer 1

运算符::将元素添加到列表的开头。 您正在使用它来连接列表。 如果将第一个::更改为列表串联运算符@则将编译您的代码。

type peg = A | B | C
type move = peg * peg


let towers (m : int) : (move list) =
  let rec solve n a b c = match n with
  |0 -> []
  |_ -> (solve (n-1) a c b) @ (a,b) :: (solve (n-1) c b a) in
  solve m A B C 

我不知道结果代码是否正确，但是我希望这能使您重新开始。