Scheme 48
Scheme 48是Scheme編程語言的一種方言，遵循了R5RS標準[1]，這個實現使用了發送字節碼的解釋器[2]。它有一個外界函數接口用於調用來C語言的函數[3]，並帶有一個正則表達式（regex）庫[4]，和一個到可移植操作系統接口（POSIX）的接口[5]。它支持可移植Scheme庫SLIB，並且是Scheme shell Scsh的基礎[2]。它已經被用於學術研究之中[6]。它是在BSD許可證下發行的自由及開放源代碼軟件。
| 編程範型 | 多范型: 函數式, 過程式, 元編程 |
|---|---|
| 語言家族 | Lisp/Scheme |
| 設計者 | Richard Kelsey, Jonathan Rees |
| 實作者 | Richard Kelsey, Jonathan Rees |
| 面市時間 | 1987年3月 |
| 當前版本 |
|
| 型態系統 | 動態, 強類型, 潛在 |
| 作用域 | 詞法 |
| 操作系統 | 跨平台 |
| 許可證 | BSD |
| 網站 | s48 |
叫做「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用於了有價值的工作。）
引用
編輯- ^ R5RS claim （頁面存檔備份，存於網際網路檔案館）
- ^ 2.0 2.1 Kelsey, Richard; Rees, Jonathan. Scheme 48. S48.org. [2018-12-05]. （原始內容存檔於2022-04-21）.
- ^ Kelsey, Richard; Rees, Jonathan; Sperber, Mike. The Incomplete Scheme 48 Reference Manual for release 1.8: Mixing Scheme 48 and C. S48.org. 10 January 2008 [2018-12-05]. （原始內容存檔於2021-11-06）., Chapter 8 in manual for version 1.8.
- ^ Kelsey, Richard; Rees, Jonathan; Sperber, Mike. The Incomplete Scheme 48 Reference Manual for release 1.8: Regular Expressions. S48.org. 10 January 2008 [2018-12-05]. （原始內容存檔於2021-11-04）., Chapter 5 in manual for version 1.8.
- ^ Kelsey, Richard; Rees, Jonathan; Sperber, Mike. The Incomplete Scheme 48 Reference Manual for release 1.8: Access to POSIX. S48.org. 10 January 2008 [2018-12-05]. （原始內容存檔於2021-11-06）., Chapter 9 in manual for version 1.8.
- ^ Final shift for call/cc: direct implementation of shift and reset
- ^ Rees, Jonathan A. JAR's Scheme 48 Page. Jonathan A. Rees. Mumble.net. [2018-12-05]. （原始內容存檔於2021-05-24）.
- ^ Richard Kelsey. Pre-Scheme: A Scheme Dialect for Systems Programming. 1997 [2021-11-04]. （原始內容存檔於2009-08-14）.
- ^ Shivers, Olin. Olin Shivers: History of T. PaulGraham.com. [2018-12-05]. （原始內容存檔於2022-10-05）.