Loading AI tools
来自维基百科,自由的百科全书
Scheme 48是Scheme程式語言的一種方言,遵循了R5RS標準[1],這個實現使用了發送字節碼的解釋器[2]。它有一個外界函數接口用於調用來C語言的函數[3],並帶有一個正則表達式(regex)庫[4],和一個到可移植作業系統接口(POSIX)的接口[5]。它支持可移植Scheme庫SLIB,並且是Scheme shell Scsh的基礎[2]。它已經被用於學術研究之中[6]。它是在BSD許可證下發行的自由及開放原始碼軟體。
叫做「Scheme 48」是因為它的第一版是在1986年8月用48小時寫成的[7] 。
Scheme 48使用了一個虛擬機來解釋字節碼,它是用叫做PreScheme的一個Scheme的受限方言寫成的,這個方言可以被轉換成C並編譯成本機二進制代碼。PreScheme或寫為Pre-Scheme,是靜態類型的Scheme方言,具有C的高效性和低層機器訪問,卻保持了多數想要的Scheme特徵[8]。
Pre-scheme是非常有價值的。我確信Kelsey曾發表了一篇關於它的論文。它在可以被裝載入Scheme系統並運行代碼的意義上是Scheme。但是它是有限制的 – 它要求你以允許完全的Hindley-Milner靜態類型推論的風格來書寫程序,而所有高階過程都在編譯時間被beta-代換了,這意味你可以*直接*將Prescheme程序轉寫「自然的」C代碼而具有C水平的效率。這就是說,你可以將Prescheme看作對用於低層代碼的C的真實舒適替代者。並且在撥轉開關而轉換到C代碼之前,你可以在你選擇的交互式Scheme開發環境中調試你的Prescheme程序,因為Prescheme就是受限的Scheme。Scheme 48位元組碼解釋器是用Prescheme書寫的。Prescheme差不多消亡了 – 除了他寫的那篇學術論文,Kelsey從未有時間書寫它的文檔並將它變成其他人可以使用的獨立工具(Ian Horswill在西北大學的小組是這個論斷的一個例外 – 他們已經將Prescheme用於了有價值的工作。)
——Olin Shivers,"Olin Shivers: History of T"[9]
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.