看板
[ PLT ]
討論串[問題] letrec 為何可以成立？ (In scheme, ma …
共 6 篇文章
內容預覽:
我有玩過 Scheme 但不算很熟，從你的說明我無法清楚地了解你的做法(當然. 也不清楚你遇到的困難是甚麼)。. 如果是我會這麼做(使用 syntax 擴展):. (define-syntax myletrec. (syntax-rules (). ((_ ((name value) ...) ex
(還有240個字)
內容預覽:
Hmm... 我是覺得可以找 ccshan 建議的課本來看看。. 我不知道 letrec 實際上是怎麼做的，不過如果是談原則，. 我會用 fixed-point combinator 來解釋 letrec. 這樣不用. 用到 set-cdr 或其他副作用。只要語言本身有提供 lambda. abst
(還有1232個字)
內容預覽:
我發現我沒頭沒腦的沒說清楚環境就直接發問了..... 昨天適逢debug整夜後的腦袋混沌狀態...^^". 不過謝謝大家的回答，我有點頭緒知道自己卡住的地方了..... 在發問前我先看了這篇在LtU 論壇的發問. http://lambda-the-ultimate.org/node/2971. 標
(還有1411個字)
內容預覽:
Ok ok... 由於東西比較多，我用我比較熟悉的 "pseudo Haskell" 的. 語法混合一些你的符號解釋一下，希望看得懂..... 假設我們定義一個小語言，有數字、加減法、lambda, LET, LETREC. 等等（我把被解譯的語言的關鍵字寫成大寫）。函數 eval 大約是像這樣.
(還有884個字)