作者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