作者noctem (noctem)
看板PLT
标题Re: [问题] letrec 为何可以成立? (In scheme, ma …
时间Wed Jun 2 21:24:31 2010
1F:→ SansWord:这个方法是不是很像 Functional Programming with06/02 14:01
2F:→ SansWord:Overloading and Higher-Order Polymorphism06/02 14:01
3F:→ SansWord:ch 5.1 提到的functor? (上面那篇by Mark P. Jones)06/02 14:02
4F:→ SansWord:里面提到了如何抽象化 fold 之类的函数06/02 14:03
5F:→ SansWord:使用到了一个cata phi 机制~06/02 14:03
关系并没有非常直接呢。我不太确定我们想的是不是同一篇,不过
通常用 functor 等等的目的是为了要同时描述很多种不同的递回
模式(例如递回呼叫一次的、两次的、等等)。
另外一个差异是, fold(通常把 generalized 的 fold 称为 cata)
的输入如果是有限的结构,是一定会终止的。一般说的 letrec 则
通常可以定义 general recusion, 不一定会终止。
有兴趣的话,希望改天有机会聊啦... :)
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 123.192.160.134
6F:推 SansWord:了解~ 06/03 00:35