Mapping über binären Baum

Question

Dies ist meine Funktion, die

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)     

Die Art der Funktion sein muss, über einen binären Baum Karte:

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

aber meine Funktion dieser Art zurückkehrt statt:

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

Answer 1

Sie scheinen die Funktion Anwendung umgeschaltet zu haben. root f sollte f root sein:

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