이 주어 OCaml의

Question

에 배 함수를 사용하여 목록에 이진 트리를 변환 :

type 'a tree = Empty | Node of 'a * 'a tree * 'a tree 

사용 :

let rec tree_fold f e t = match t with 
| Empty -> e 
| Node (x, l, r) -> f x (tree_fold f e l) (tree_fold f e r);; 

이 목록에 이진 트리를 변환합니다. 예.

let someTree = Node (1,Node(2,Node(3,Empty,Empty),Empty),Empty) 

tree2list someTree은 [1;2;3]이된다.

내 시도 :

This expression has type 'a list but an expression was expected of type 'b -> 'b . 

나는 시간이에 있었다 유사한 오류가 계속했습니다

let tree2list tr = match tr with 
| Empty -> Empty 
| Node (x,l,r) -> (tree_fold (fun acc tree-> tree::acc) [] tr) 

이 오류를 제공합니다. 조금이라도 도움이된다면 큰 도움이 될 것입니다.

감사합니다.

Answer 1

tree_fold에 전달해야하는 함수는 세 개의 인수를 허용하며 두 개의 인수 만 사용할 수있는 함수를 전달합니다. 그것이 컴파일러가 말하고자하는 것입니다. 물론, 다른 문제가 있습니다.하지만 그 문제에 대처할 수 있기를 바랍니다.