我正在查看泛型中的代码。我很难理解代码,但我不能理解T的参数化用法。为什么一定要用T,为什么不让它与E和R一起工作。据我所知,E指的是元素,R指的是树。无法在代码中补充泛型的用法。abstract class Tree<E> { public R leaf(E elt);<T> leaf(final T e) {
最近,我根据佩尔的S帮助更新了它:treeFold f g tree = f (g (rootLabeltree)) (map (treeFold f g) (subForest tree))toList :: Tree a -> [a]
toList = treeFold (Node {rootLForest