ocaml - 奥卡姆树。我有这部分代码： [(aux (c+1) l)@(aux (c+1) r) ]

Question

有人可以告诉我这段代码在我的程序中做了什么吗？(辅助 (c+1) l)@(辅助 (c+1) r)

这是所有代码：

 let rec aux c = function
   Empty -> []
    |Tr(x,l,r) ->
     let l =
      (aux (c+1) l)@(aux (c+1) r) in
       if c = n then x::l else l
         in aux 1 tr;;

Answer 1

您遗漏了一些定义nand的上下文tr。我还要说你的问题很模糊。一般来说，您提到的表达式从树的更下方获取值列表。它将两个列表与@运算符连接起来。