Posted on 2013-11-28 17:55
flysnowxg 閱讀(2704)
評論(0) 編輯 收藏 引用
lisp是一種神奇的語言，scheme是lisp的一種方言。
tinyscheme是一個scheme語言的解釋器實現，而這是我大幅修改并加了注釋后的tinyscheme（基于tinyscheme1.41）
代碼地址：http://flysnowxg.googlecode.com/svn/tinyscheme_note
原始代碼： http://tinyscheme.sourceforge.net/home.html
tinyscheme據說是實現的r5rs標準（應當是實現了一部分，因為模式匹配和語法定義的那部分顯然沒實現）
tinyscheme代碼很簡短而且實現的語言功能還算比較完整，如果想研究一個lisp解釋器的實現，tinyscheme是值得研究的
tinyscheme實現了lambda、宏、延續(xù)、異常、gc這些重要的語言機制，還實現了許多庫函數，整個原版代碼大約有6500行左右，但是原版代碼有很多的宏定義和很多冗余的代碼，代碼分類也很混亂，可讀性不算特別好，在閱讀過程中我對這個代碼進行了大量的修改，清除了大量冗余代碼，重新組織了代碼結構，主要的實現文件scheme.c被我從5000行改到只有3400行。所有代碼加起來也只有4500行了，功能損失也不太多
修改一些bug，比如像‘延續(xù)’的實現，原版像下面這樣的代碼中， “(r 1)”這一句是沒法運行的
(define r 0)
(let ((x 1))
(set! x
(+ x
(call/cc (lambda (c) (set! r c) (+ 44 (c 1)))))
)
(display x))
(r 1)
有興趣的可以看一看！