→ SansWord:这个方法是不是很像 Functional Programming with06/02 14:01
→ SansWord:Overloading and Higher-Order Polymorphism06/02 14:01
→ SansWord:ch 5.1 提到的functor? (上面那篇by Mark P. Jones)06/02 14:02
→ SansWord:里面提到了如何抽象化 fold 之类的函数06/02 14:03
→ SansWord:使用到了一个cata phi 机制～06/02 14:03
关系并没有非常直接呢。我不太确定我们想的是不是同一篇，不过
通常用 functor 等等的目的是为了要同时描述很多种不同的递回
模式（例如递回呼叫一次的、两次的、等等）。
另外一个差异是, fold（通常把 generalized 的 fold 称为 cata）
的输入如果是有限的结构，是一定会终止的。一般说的 letrec 则
通常可以定义 general recusion, 不一定会终止。
有兴趣的话，希望改天有机会聊啦... :)