看板 [ PLT ]
討論串[問題] letrec 為何可以成立？ (In scheme, ma …
共 6 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
2
下一頁
尾頁
#6
Re: [問題] letrec 為何可以成立？ (In scheme, ma …
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者SansWord (是妳)時間14年前 (2010/06/03 00:44), 編輯資訊
0
0
0
內容預覽:
這段不只是recursive, 而且還是mutural recursive.. (env' 用到v1的定義, v1 用到env'的定義). 使用host語言做有點偷懶啦....:p 刻意給自己的限制就是為了學習怎麼做到這個機制. 沒有type 是因為這樣才能做到 "把自己丟給自己" 嗎?. 我後來在
(還有292個字)
首頁
上一頁
1
2
下一頁
尾頁