Re: [問題] letrec 為何可以成立？ (In scheme, ma …
→
06/02 14:01,
06/02 14:01
→
06/02 14:01,
06/02 14:01
→
06/02 14:02,
06/02 14:02
→
06/02 14:03,
06/02 14:03
→
06/02 14:03,
06/02 14:03
關係並沒有非常直接呢。我不太確定我們想的是不是同一篇，不過
通常用 functor 等等的目的是為了要同時描述很多種不同的遞迴
模式（例如遞迴呼叫一次的、兩次的、等等）。
另外一個差異是, fold（通常把 generalized 的 fold 稱為 cata）
的輸入如果是有限的結構，是一定會終止的。一般說的 letrec 則
通常可以定義 general recusion, 不一定會終止。
有興趣的話，希望改天有機會聊啦... :)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 123.192.160.134
推
06/03 00:35, , 1F
06/03 00:35, 1F
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 5 之 6 篇)：
PLT 近期熱門文章
PTT數位生活區 即時熱門文章