Scheme 48

Scheme 48是Scheme編程語言的一種方言，遵循了R⁵RS標準^[1]，這個實現使用了發送字節碼的解釋器^[2]。它有一個外界函數接口（英語：foreign function interface）用於調用來C語言的函數^[3]，並帶有一個正則表達式（regex）庫^[4]，和一個到可移植操作系統接口（POSIX）的接口^[5]。它支持可移植Scheme庫SLIB（英語：SLIB），並且是Scheme shell Scsh（英語：Scsh）的基礎^[2]。它已經被用於學術研究之中^[6]。它是在BSD許可證下發行的自由及開放源代碼軟件。

Scheme 48

編程範型	多范型: 函數式, 過程式, 元編程
語言家族	Lisp/Scheme
設計者	Richard Kelsey, Jonathan Rees
實作者	Richard Kelsey, Jonathan Rees
面市時間	1987年3月，​38年前​（1987-03）
當前版本	1.9.2（2014年4月）
型態系統	動態, 強類型, 潛在（英語：Latent typing）
作用域	詞法
操作系統	跨平台
許可證	BSD
網站	s48.org

叫做「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（英語：T (programming language)）"^[9]