树类型的递归映射函数

Question

假设我有以下树类型： type T<'a> = N of 'a * T<'a> list

如何为它声明一个递归映射函数？目前我有这个，但它是一个无限循环：

let rec map f (N(a,sbs)) = 
    match sbs with
    | [] -> N(f a,[])
    | sbs' -> map f (N(a,sbs'))

不胜感激。

Answer 1

这里有一个提示。这是一个尾递归映射函数。

    let mapTR f l =
        let rec loop acc = function
            | [] -> List.rev acc
            | x::xs -> loop (f x::acc) xs
        loop [] l