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