매핑

Question

이 이진 트리

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

let rec treemap t f = match t with 
    |Empty -> Empty 
    |Node(root,left,right)-> Node(root f, treemap left f, treemap right f)     

함수의 형태가되어야한다

을 통해지도 내 기능입니다 :

treemap: 'a btree -> ('a ->'b) -> 'b tree 

하지만 내 기능 대신이 유형을 반환 :

를

val treemap : ('a -> 'b) btree -> 'a -> 'b btree 

Answer 1

기능 응용 프로그램을 전환 한 것으로 보입니다. root ff root해야한다 :

let rec treemap t f = match t with 
    | Empty -> Empty 
    | Node (root, left, right) -> Node (f root, treemap left f, treemap right f)