跳至內容

Scheme

本頁使用了標題或全文手工轉換
維基百科，自由的百科全書
Scheme
編程範型多范型：函數式, 指令式, 元編程
語言家族Lisp
設計者小蓋伊·史提爾和傑拉德·傑伊·薩斯曼
面市時間1975年，​49年前​（1975）
當前版本
  • R7RS-small（2013；穩定版本）[1]
編輯維基數據鏈接
型態系統強類型，動態類型
作用域詞法
文件擴展名.scm   .ss
網站www.scheme-reports.org 編輯維基數據鏈接
主要實作產品
Bigloo（英語：Bigloo）, BiwaScheme[2], BONES[3], Chez, Chibi[4], Chicken, Cyclone[5], Foment[6], Gambit, Gauche（英語：Gauche (Scheme implementation)）, Guile, Hop.js（英語：Hop (software)）[7], IronScheme（英語：IronScheme）, Kawa（英語：Kawa (Scheme implementation)）, Larceny[8], LIPS[9], Loko[10], MIT/GNU Scheme, Mosh[11], Picrin[12], Rapid[13], s7[14], S9fES[15], Sagittarius[16], Scheme 48, SCM, STklos（英語：STklos）, TinyScheme, TR7[17]
衍生副語言
femtolisp[18], Husk[19], Racket, SIOD, Swift LispKit[20], T（英語：T (programming language)）
啟發語言
ALGOL, Lisp, MDL（英語：MDL (programming language)）
影響語言
Clojure, Common Lisp, Dylan, EuLisp（英語：EuLisp）, Haskell, Hop（英語：Hop (software)）, ISLISP, JavaScript, Julia, Lua, R, Racket, Ruby, Rust, S, Scala

Scheme是一種函數式編程語言，是Lisp的兩種主要方言之一，不同於與之並列的Common Lisp，Scheme遵循極簡主義（英語：Minimalism (computing)）哲學，以一個小型語言核心作為標準，加上各種強力語言工具（語法糖）來擴展語言本身[22]。Scheme是第一個使用靜態作用域的Lisp方言，也是第一個引入頭等續體和「乾淨宏」的編程語言。

簡介

[編輯]

在1975年，麻省理工學院的傑拉德·傑伊·薩斯曼與蓋伊·史提爾二世，開發出了Scheme語言最初版本，隨後兩人通過發表「λ論文集」而不斷對它進行完善和推廣。Scheme與λ演算關係十分密切，故將小寫字母「λ」用作標誌。

麻省理工學院與其他一些院校，曾採用Scheme教授計算機科學入門課程。著名的入門教材《電腦程式的構造和解釋》（SICP），利用Scheme來詮釋程序設計[23]。Scheme有眾多實現可視為一個主要優勢[24]，然而不同實現之間的差異成為了它的一個劣勢，Scheme掌控委員會聲稱，它是「世上最不可移植的編程語言」，並且是一個「編程語言家族」而非一個單一的語言[25]。

歷史

[編輯]
主條目：Scheme編程語言歷史（英語：History of the Scheme programming language）

起源

[編輯]
Gerald Jay Sussman
Guy Lewis Steele Jr.
Guy Lewis Steele Jr.

Scheme起源於1958年由約翰·麥卡錫提出的Lisp語言。麥卡錫通過Lisp證明了，經由幾個簡單的算子，與用作匿名函數的借鑒自阿隆佐·邱奇的λ表示法[26]，就可以構建出圖靈完備的系統。麥卡錫提出的S-表達式，可以將程序與數據用相同的結構存儲，這被稱為同像性。Scheme的語法即來自S-表達式，這一特性使得在Scheme中實現自循環直譯器變得非常簡單[27]。

在1973年，麻省理工學院的Carl Hewitt（英語：Carl Hewitt）提出的一種叫做演員模型的計算模型[28]，並用Lisp開發當時叫做Planner（英語：Planner (programming language)）-73的新語言來實現它[29]。傑拉德·薩斯曼與蓋伊·史提爾為了理解演員模型，決定在Maclisp工作環境中實現一個微型Lisp解釋器，並接着增加創建演員和發送消息的機制[30]。兩人很快發現了演員模型與λ演算之間的相似性，所謂「演員」就是彼得·蘭丁提出的閉包[31]，而Joel Moses（英語：Joel Moses）在1970年已將它介入Lisp用來解決函數參數問題（英語：funarg problem）[32]；故而實現演員的關鍵，是將詞法作用域介入到Lisp中[33]。

在1975年，基於對λ演算表達能力的理解[34]，傑拉德·薩斯曼與蓋伊·史提爾開發出了新型Lisp解釋器[35]，並將在其上完成的微縮版的演員實現命名為「Schemer」，後因ITS（英語：Incompatible Timesharing System）作業系統文件名的字符數限制而改為Scheme[36]。儘管Hewitt指出了Scheme不能表達特定類型的原語演員[37]，Scheme解釋器本身採用的簡約的語法和語義，很快贏得廣泛接受。

在1978年，蓋伊·史提爾二世和傑拉德·傑伊·薩斯曼發表了《修訂的Scheme報告：一種LISP方言》[38]，從而完善了Scheme的功能，並正式將其確立為Lisp的一種主要方言。在1998年，二人在總結Scheme歷史時指出，簡單而強大的λ演算，使得Scheme最終得以實現極度的精簡化[39]。

λ論文集

[編輯]

「λ論文集」是傑拉德·薩斯曼與蓋伊·史提爾撰寫的關於Scheme的一系列論文，最早作為麻省理工學院的內部備忘錄發表[40]。通常認定λ論文集包括：

  • 1975年: Scheme: An Interpreter for Extended Lambda Calculus.[41]
  • 1976年: Lambda: The Ultimate Imperative.[42]
  • 1976年: Lambda: The Ultimate Declarative.[43]
  • 1977年: Debunking the 'Expensive Procedure Call' Myth, or, Procedure Call Implementations Considered Harmful, or, Lambda: The Ultimate GOTO.[44]
  • 1978年: The Art of the Interpreter or, the Modularity Complex (Parts Zero, One, and Two).[45]
  • 1978年: RABBIT: A Compiler for SCHEME.[46]
  • 1979年: Design of LISP-based Processors, or SCHEME: A Dialect of LISP, or Finite Memories Considered Harmful, or LAMBDA: The Ultimate Opcode.[47]
  • 1980年: Compiler Optimization Based on Viewing LAMBDA as RENAME + GOTO. AI: An MIT Perspective.[48]
  • 1980年: Design of a Lisp-based Processor. CACM. 23. 11.[49]

標準化

[編輯]

Scheme的業界標準，是由專門的掌控委員會發表的《第n次修訂的演算法語言Scheme報告》（Revisedn Report on the Algorithmic Language Scheme），這種標題形式參照了ALGOL 60標準文檔的標題[50]。Scheme曾經由IEEE標準化為IEEE 1178–1990，它於2019年11月07日停用[51]。

1998年通過的R5RS是現在被普遍接受的標準[52]。2007年通過的R6RS[53]，做出了很大的變動[54]，Scheme社區中有使用者指責它在堆積華而不實的功能[55][56]。Scheme掌控委員會決定在R7RS中，將Scheme分化為兩個獨立而兼容的語言[57]：一個是2013年通過的R7RS-small[58]，它為教學場合提供對IEEE/R5RS標準的及時更新，R7RS-small目前已經有了一些實現支持[59]；而另一個是作為標準庫合集的R7RS-Large[60]，它包含了各種提議被接納並進入凍結狀態的Scheme實現要求（英語：Scheme Requests for Implementation）（SRFI），以此為實際編程場合提供對R6RS標準的繼續完善，Larceny[8]和Chibi[4]提供了R7RS-Large過渡草案紅色版（即數據結構部份）的全部SRFI的實現。

命名法

[編輯]

在正式場合比如Scheme標準的命名法（英語：Nomenclature）中，提及一個λ表達式或原始過程時，偏好使用詞語「過程」而非「函數」。在一般使用中，詞語「過程」和「函數」是可互換使用的。過程應用有時被正式稱呼為「組合」（combination）。

同其他Lisp一樣，在Scheme中使用術語「thunk（英語：thunk）」，來提及沒有實際參數的過程。術語「適當」（proper）尾遞歸，稱謂所有Scheme實現的一個性質，它們都進行尾遞歸優化，從而支持無限數目的活躍尾遞歸。

基礎特徵

[編輯]

Scheme大體上是一個函數式程式語言，並支援其他編程范型。它同其他Lisp編程語言家族語言共享了很多特徵。它的非常簡單的語法基於Lisp的S-表達式：即圓括號包圍的列表，其中的前綴是算符，而隨後那些的是實際參數。故而Scheme程序由嵌套的列表的序列構成。列表也是Scheme中的主要數據結構，這導致了在源代碼和數據格式之間的緊密等價性，即同像性。Scheme程序可以輕易的動態建立和求值Scheme代碼片段。

Scheme與其他Lisp方言的列表，都是基於最基礎的數據結構有序對（pair）。Scheme從它的Lisp先輩繼承了一組豐富的列表處理原始運算，比如cons、car（英語：CAR and CDR）和cdr（英語：CAR and CDR）。Scheme的變數都使用動態強型別系統，Scheme中的過程都是頭等物件，即頭等函數，因此過程可以作為值賦值給變量，或作為實際參數傳遞給過程。

本章主要集中於語言的創新特徵，它們使得Scheme區別於其他Lisp方言。除非專門指出，這裡描述的特徵都有關於R5RS標準。在本章例子中使用「===> 结果」表示法，來指示求值在緊前行上的表達式的結果。這同於R5RS中使用的約定。本章節描述的特徵使得Scheme不同於在它之前的其他編程語言。Scheme的這些方面強烈的影響了Scheme語言的所有產品，並共通於始自1975年最初的λ論文，特別是自從R2RS以來[61]，所有版本的Scheme編程語言。

極簡主義

[編輯]

Scheme的簡約性，使它成為具備同級別功能的程式語言中最易於實現的語言，這得益於使用λ演算來從更原始的形式導出多數的語言語法[62]。例如在R5RS標準中，定義了23個基於S-表達式的語法構造，其中14個被歸類為派生形式或庫形式，它們可以被寫為涉及原則上為lambdad的更基礎形式的宏。正如R5RS（§3.1）所說：「最基礎的變量綁定構造是lambda表達式，因為所有其他的變量綁定構造，都可以依據lambda表達式來做出解釋」[52]。

基礎形式：define、lambda、quote、if、define-syntax、let-syntax、letrec-syntax、syntax-rules、set!
派生形式：do、let、let*、letrec、cond、case、and、or、begin、命名let、delay、unquote、unquote-splicing、quasiquote

下面是一個宏的例子，它將let實現為使用lambda來進行變量綁定的一個表達式： 

(define-syntax let
  (syntax-rules ()
    ((let ((var expr) ...) body ...)
     ((lambda (var ...) body ...) expr ...))))

這裡的(let ((var expr) ...) body ...)稱為「模式」，模式中起始的let被稱為「關鍵字」，syntax-rules ()的空括號中可添入作為輔助關鍵字的叫做「文字」的標識符，var、expr和body稱為「模式變量」，...是稱為「省略號」的標識符，它表示所跟隨的子模式可以匹配零或多個輸入中的元素；而((lambda (var ...) body ...) expr ...)稱為「模板」。使用上述定義的let，一個Scheme實現可以將(let ((a 1)(b 2)) (+ b a))，重寫為((lambda (a b) (+ b a)) 1 2)，這將實現任務縮減為編碼過程實例化的工作。

詞法作用域

[編輯]
參見：作用域

不像更早期的Lisp比如Maclisp[63]，Scheme像多數現代語言一樣，採用了詞法作用域[64]：在一個程序單元中所有可能的變量綁定，都可以通過閱讀這個程序單元來分析出來，而不需要考慮到它可能在其中被調用的那些上下文。這對比於動態作用域，它是早期Lisp方言的特徵，因為在當時的編譯器和解釋器中，用來實現詞法作用域算法的原始的文字替換方法，關聯着處理代價。在動態作用域的Lisp中，對一個過程內的自由變量的引用，依賴於這個調用的上下文，完全有可能引用到這個過程外部的相當不同的綁定。

λ演算

[編輯]
參見：λ演算

邱奇的λ演算的數學表示法，啟發了Lisp使用lambda作為介入一個過程的關鍵字，並影響了Lisp中涉及到使用高階函數的函數式編程技術的發展。但是早期的Lisp由於對自由變量的處理方式[65]，而不適合表達λ演算[34]。

一個正式的λ系統，擁有一些公理和一個完備的推理規則。這有助於使用數理邏輯和工具來進行分析。在這個系統中，演算可以被看作直接的演繹。λ演算的語法，來自用x, y, z, ...、圓括號、空格、點號和符號λ形成的遞歸表達式[66]。λ演算的功能包括：首先，充當強力的數理邏輯的起點。其次，它可以縮減編程者在考慮實現細節上的要求，因為它可以用於模擬機器求值。最後，λ演算建立了一個堅實的元理論[67]。

在Scheme中，lambda關鍵字被用於定義匿名過程，並且使用define基礎形式來定義命名過程，即將一個lambda過程綁定到指名的全局變量[68]。在Scheme中，(define (foo x) (+ x 1))與(define foo (lambda (x) (+ x 1))) ，在語法上是等同的。例如有序對可以表示為[69]： 

(define (cons x y)
  (lambda (m) (m x y)))

(define (car z)
  (z (lambda (p q) p)))

(define (cdr z)
  (z (lambda (p q) q)))

這樣定義出來的cons、car和cdr，滿足恆等式(car (cons x y))等於x，和(cdr (cons x y))等於y。甚至遞歸也可以表示為利用λ演算的Y組合子[70]。

詞法作用域的介入[64]，通過在某些形式的λ表示法，和在工作編程語言中它們的實際表達之間做出等價，解決了早期Lisp的有關問題。Sussman和Steele展示了，通過將λ表達式用作「控制結構和環境修改器」，而非簡單的過程實例化，可以用這個新語言優雅的導出其他編程語言包括ALGOL和Fortran的，所有指令式和聲明式語義，和其他Lisp的動態作用域[71]。他們在第一篇λ論文中，與對Scheme的首次描述一起，介入了續體傳遞風格[72]，並在後續的論文中，他們推進演示了在這種實際使用中體現出的λ演算的原生能力。

過程應用中的求值次序

[編輯]

Scheme採用了傳值調用，但不同於多數Lisp規定了過程實際參數的求值次序，Scheme不規定求值次序。對比於其他Lisp，Scheme表達式在算符位置（第一個項目）上可以是一個表達式，只要在算符位置上的表達式的結果是一個過程，這種表示就是完全合法的[73]。

在Scheme中，在算符和實際參數位置上的這些表達式的求值次序，可以在逐個調用的基礎上由實現來選擇，而唯一的約束是：「運算符和運算數表達式的任何並發求值的效果，被約束為一致於某種順序次序的求值。」（R5RS sec. 4.1.3）[52] 

(let
  ((ev (lambda (n)
    (display "Evaluating ")
    (display (if (procedure? n) "procedure" n))
    (newline) 
    n)))
  ((ev +) (ev 1) (ev 2)))

ev是一個過程，它描述傳遞給它的實際參數，接着返回這個實際參數的值。在調用過程+來加1和2之中，表達式(ev +)、(ev 1)和(ev 2)可以按任何次序求值，只要效果上它們不像是並行求值的。因此在上述例子被執行的時候，標準Scheme可以按任何次序來顯示前三行： 

Evaluating procedure
Evaluating 1
Evaluating 2
3

然而一行的文本不可以同另一行的文本產生交錯，因為這會違反順序求值約束。

塊結構

[編輯]

Scheme的代碼塊結構，不同於早先Lisp的語言構造[74]。自從R2RS開始[61]，Scheme中的塊，是通過三個「綁定構造」來實現的：let（英語：Let expression）、let*和letrec。例如，下列構造建立一個塊，其中叫做var的符號被綁定到數10： 

(define var "goose")
;; 这里任何到var的引用都会被绑定到"goose"
(let ((var 10))
  ;; 语句走到这里时，任何到var的引用都会绑定到10
  )
;; 这里任何到var的引用都会绑定到"goose"

依據編程者的需要，塊可以嵌套（英語：Nesting (computing)）來建立任意複雜的塊結構。使用塊結構來建立局部綁定，減輕了不然可能發生的命名空間衝突（英語：Naming collision）。

let的變體之一let*，允許綁定引用在前面相同構造中定義的變量，例如： 

(let* 
  ((var1 10)
   (var2 (+ var1 12)))
  ;; 但是var1的定义不可以引用var2
  )

let的另一個變體letrec，被設計用來確使互遞歸過程可綁定彼此。

下面的例子是侯世達雌雄序列（英語：Hofstadter sequence#Hofstadter Female and Male sequences）： 

;; 将侯世达雌雄序列计算为有序对的列表
(define (hofstadter-male-female n)
  (letrec
    ((female (lambda (n)
	  (if (= n 0)
	    1
		(- n (male (female (- n 1)))))))
	 (male (lambda (n)
	  (if (= n 0)
		0
		(- n (female (male (- n 1))))))))
    (let loop ((i 0))
      (if (> i n)
	    '()
	    (cons (cons (female i) (male i))
		  (loop (+ i 1)))))))

(hofstadter-male-female 8)
===> ((1 . 0) (1 . 0) (2 . 1) (2 . 2) (3 . 2) (3 . 3) (4 . 4) (5 . 4) (5 . 5))

在一個單一的letrec中的所有過程，可以通過名字引用其他的過程，還有在相同的letrec中此前定義的變量的值，但是它們不可以引用在相同的letrec中此後定義的變量的值。

let的變體「命名let」形式，在let關鍵字之後有一個標識符。它將這些let變量綁定到一個過程的實際參數，這個過程的名字由這個標識符給出，它的過程體是let形式的主體。這個過程體可以通過調用這個過程達成想要的重複。命名let被廣泛用於實現迭代。

一個簡單的計數器例子: 

(let loop ((n 1))
  (if (> n 10)
    '()
    (cons n
	  (loop (+ n 1)))))
===> (1 2 3 4 5 6 7 8 9 10)

就像Scheme中的任何過程一樣，在命名let中建立的這個過程是頭等對象。

適當尾遞歸

[編輯]
更多資訊：尾遞歸

Scheme擁有一個迭代構造do[75]，但是在Scheme中更推崇的慣用法（英語：Programming idiom），是使用尾遞歸來表達迭代[76]。遵循標準的Scheme實現被要求優化尾遞歸，從而支持無限數量的活躍尾遞歸（R5RS sec. 3.5[52]），這個性質被Scheme報告描述為「適當」（proper）尾遞歸，它使得Scheme編程者可以安全的使用遞歸結構來書寫迭代算法，這在很多時候是更符合直覺的。尾遞歸過程和命名let形式，提供對使用尾遞歸的迭代的支持。 

;; 建造从0到9的平方的列表：
;; 注意：loop简单的就是用作标签的一个任意符号。任何符号都行。
(define (list-of-squares n)
  (let loop ((i n) (res '()))
    (if (< i 0)
      res
      (loop (- i 1) (cons (* i i) res)))))

(list-of-squares 9)
===> (0 1 4 9 16 25 36 49 64 81)

頭等續體

[編輯]
主條目：續體

在Scheme中續體是頭等對象[77]。自從R2RS開始[61]，Scheme提供了過程call-with-current-continuation（英語：call-with-current-continuation） ，簡寫為call/cc，它捕獲當前續體，將其包裝成逃脫（escape）過程，再綁定到編程者提供的一個過程的唯一形式參數上。如果逃脫過程在後來某個時候被調用，它會放棄在後來時候正生效的任何續體，轉而使用在創建這個逃脫過程之時生效的那個續體。逃脫過程與原本調用call/cc的續體，接受相同數目的實際參數；除了用call-with-values創建的續體，所有續體恰好接受一個值（R5RS sec. 6.4）[52]。

頭等續體使得編程者能夠建立非局部控制結構比如迭代器、協程和回溯。續體可以被用來模擬指令式編程語言中return語句的行為。下列函數find-first接受函數func和列表lst，返回lst中的第一個元素x，它使得(func x)返回真。 

(define (find-first func lst)
  (call/cc
    (lambda (return)
      (for-each
        (lambda (x)
          (if (func x)
    	    (return x)))
        lst)
      #f)))

(find-first integer? '(1/2 3/4 5.6 7 8/9 10 11))
===> 7
(find-first zero? '(1 2 3 4))
===> #f

David Madore在1999年提出的陰陽謎題[78]，展示了Scheme可以將續體當作頭等對象處理，綁定它們到變量，和把它們作為給過程的實際參數來傳遞[79]。

統一的命名空間

[編輯]

對比於Common Lisp，在Scheme中所有的數據和過程共享一個共同的命名空間，而Common Lisp中有函數和數據分離的命名空間，使得一個函數和一個變量可以有相同的名字，並且將一個函數作為值引用時要求特殊的表示法。這有時叫做「Lisp1與Lisp2」差異，二者分別稱謂Scheme的統一的命名空間，和Common Lisp的分立的命名空間[80]。

在Scheme中， 可以使用操縱和綁定數據的原始運算來綁定過程。沒有等價於Common Lisp的defun和#'的原始運算。 

;; 变量绑定到一个数：
(define f 10)
f
===> 10
;; 变化（改变绑定值）
(set! f (+ f f 6))
f
===> 26
;; 将一个过程赋值给相同的变量：
(set! f (lambda (n) (+ n 12)))
(f 6)
===> 18
;; 将一个表达式的结果赋值给相同的变量：
(set! f (f 1))
f
===> 13
;; 函数式编程：
(apply + '(1 2 3 4 5 6))
===> 21
(set! f (lambda (n) (+ n 100)))
(map f '(1 2 3))
===> (101 102 103)

實現標準

[編輯]

本章歸檔多年來做出的給與Scheme特定特徵的設計決定，它們不是最初設計的直接產物。

注釋

[編輯]
參見：注釋 (計算機語言)

直到R5RS標準，在Scheme中的標準注釋是分號，它使得這行餘下部份對Scheme不可見。許多實現支持可替代的約定，允許注釋擴展為多於一行，而R6RS標準允許其中的兩種：一個完整的S-表達式，可以通過前導#; 而變成一個注釋（介入於SRFI 62[81]），和通過用#|和|#圍繞文本，產生的「多行注釋」或「塊注釋」。

在布爾表達式中非布爾值的處理

[編輯]

在多數Lisp方言包括Common Lisp中，布爾表達式中的值NIL按照慣例被求值為值假。在Scheme中，自從1991年的IEEE標準[51]，除了#f的所有的值，包括在Scheme中寫為'()的NIL的等價者，在布爾表達式中求值為值真（R5RS sec. 6.3.1）[52]。

在多數Lisp中表示布爾值真的常量是T，而在Scheme中它是#t。

乾淨宏

[編輯]
主條目：乾淨宏

Scheme的語法可以輕易的通過宏系統來擴展[82]。R5RS標準介入了強力的乾淨宏系統[83]，它允許編程者使用一種簡單的模式匹配子語言，向語言增加的新的語法構造（R5RS sec 4.3）[52]。在此前的R4RS標準中，乾淨宏系統已經作為「高級」系統，和「低級」宏系統一起被編排入標準的附錄中[84]，二者都被當作對Scheme的擴展而非語言的本質部份。

乾淨宏的實現，也叫做syntax-rules, 被要求遵守語言的其餘部份的詞法作用域。這是通過針對宏展開的特殊命名和作用域規則來確保的，從而避免在其他編程語言的宏系統中可能出現的常見編程錯誤。R6RS規定了更加複雜的變換系統syntax-case，它已經作為對R5RS Scheme的一個語言擴展而能夠獲得到有一段時間了。例如： 

;; 定义一个宏来实现“if”的具有多个表达式的变体
;; 有真分支而无假分支
(define-syntax when
  (syntax-rules ()
    ((when pred exp exps ...)
     (if pred (begin exp exps ...)))))

宏和過程的調用看起來非常相似，二者都是S-表達式，但是它們被不同的對待。在編譯器遇到程序中的一個S-表達式的時候，它首先查看這個符號是否被定義為在當前詞法範圍內的語法關鍵字。如果是這樣，它接着嘗試展開這個宏，將在這個S-表達式尾部的項目當作實際參數，而不用編譯代碼來求值它們，遞歸的重複這個處理過程直到沒有餘留的宏調用。如果它不是一個語法關鍵字，編譯器編譯代碼來求值在這個S-表達式尾部的實際參數，並接着求值在這個S-表達式頭部的符號所表示的變量，把它作為過程來調用，並把最終的尾部表達式作為實際參數傳遞給它。

多數Scheme實現還提供額外的宏系統。其中最流行是語法閉包、顯式重命名宏和define-macro，它是類似於Common Lisp中提供的defmacro系統的非乾淨宏。

不能指定一個宏是否為乾淨的，是宏系統的一個缺點。可作為替代的展開模型比如作用域集合，提供一種潛在的解決方案[85]。

延遲求值

[編輯]
參見：惰性求值

自從R2RS開始[61]，Scheme通過delay形式和過程force支持延遲求值。 

(define a 10)
(define eval-aplus2 (delay (+ a 2)))
(set! a 20)
(force eval-aplus2)
===> 22
(define eval-aplus50 (delay (+ a 50)))
(let ((a 8))
  (force eval-aplus50))
===> 70
(set! a 100)
(force eval-aplus2)
===> 22

delay原始運算，產生叫做promise的一個對象，它在將來的某個時間點上被詢問從而遞交結果值，promise的原本定義的文字內容會被留存，並且在第一次使用force之後它的值也會被留存。promise永遠只求值一次。它們可以被用來實現高級的惰性求值構造比如串流[86]。

在R5RS中，給出了delay和force的推薦實現，將promise實現為沒有實際參數的一個過程（thunk（英語：thunk）），並使用記憶化來確保它永遠只求值一次，與調用force的次數無關（R5RS sec. 6.4）[52]。在R6RS標準中，它們不再是原始運算，轉而作為R5RS兼容庫的一部份提供（rnrs r5rs (6)）。

SRFI 41確使表達有限和無限序列能夠具有非凡的經濟性。例如，這是使用在SRFI 41中的函數定義的一個斐波那契數列[86]： 

;; 定义斐波那契序列
(define fibs
  (stream-cons 0
    (stream-cons 1
      (stream-map +
        fibs
        (stream-cdr fibs)))))

;; 计算这个序列的第一百个数
(stream-ref fibs 99)
===>  218922995834555169026

eval及其運行環境

[編輯]

R5RS標準之前，在其他Lisp中無處不在的eval過程，在Scheme中沒有等價者。在第一篇λ論文中，曾經將evaluate描述為「類似於LISP函數EVAL」[87]，但在具有詞法作用域的Scheme中，對這個表達式在哪個環境中求值存在困惑。例如，不明確求值下列表達式的結果應當是5還是6[88]： 

(let ((name '+))
  (let ((+ *))
    (evaluate (list name 2 3))))

在求值實際參數name的時候，在外層環境中找到了它的定義；在求值結果表達式(+ 2 3)的時候，如果在外層環境中求值，結果是兩個運算數的總和；如果在內層環境中求值，這裡符號+已經被綁定到過程*的值，結果是兩個運算數的乘積。為此在1978年的最初修訂報告中，將evaluate替代為enclose，它接受分別為代碼和運行環境的兩個實際參數[89]。由於各種技術和實際原因，第二次、第三次和第四次修訂報告省略了任何eval的等價者[88]。

R5RS通過規定三個返迴環境的過程，並提供接受一個S-表達式和一個環境的過程eval，它在提供的這個環境內求值這個表達式（R5RS sec. 6.5）[52]，解決了這個困惑。R6RS通過提供叫做environment的一個過程進行了擴展，編程者通過它可以精確的指定將哪個對象導入到求值環境之內。

通過現代Scheme（通常兼容於R5RS）來求值表達式expr，你需要定義如下這樣的一個函數evaluate： 

(define (evaluate expr)
  (eval expr (interaction-environment)))

interaction-environment是解釋器的全局環境。

數值塔

[編輯]
主條目：數值塔（英語：Numerical tower）

Scheme規定了數值數據類型的相較完全的集合，包括複數和有理數類型，這在Scheme中叫做「數值塔」（R5RS sec. 6.2[52]）。標準對它們作抽象處理，而不委以任何特定的內部表示。

數可以有精確性品質。一個精確數只能從涉及其他精確數的精確運算產生，不精確是傳染的。標準規定任何兩個實現對產生精確數的所有運算都必須產生等價的結果。

R5RS標準規定了過程exact->inexact和inexact->exact，它們可以用於改變一個數的精確性。inexact->exact產生「在數值上最接近實際參數的精確數」。exact->inexact產生「在數值上最接近實際參數的不精確數」。R6RS標準在主報告中省略了這些過程，而是在標準庫中將它們規定為R5RS兼容過程（rnrs r5rs (6)）。

在R5RS標準中，不要求Scheme實現去實現整個數值塔，而是它們必須實現「符合實現用途和Scheme語言精神二者的連貫子集」（R5RS sec. 6.2.3）[52]。新的R6RS標準要求實現整個數值塔，並且「精確整數對象和精確有理數對象實際上有無限的大小和精度，並且對於實現特定過程...所以它們在得到精確實際參數時總是返回精確結果」（R6RS sec. 3.4, sec. 11.7.1）[53]。

在支持精確有理複數的實現中的精確算術例子： 

;; 三个有理实数和两个有理复数的总和
(define x (+ 1/3 1/4 -1/5 -1/3i 405/50+2/3i))
x
===> 509/60+1/3i
;; 检查精确性
(exact? x)
===> #t

在既不支持精確有理數也不支持複數卻接受有理數表示法的實數的實現中相同算術的例子： 

;; 四个有理实数的总和
(define xr (+ 1/3 1/4 -1/5 405/50))
;; 两个有理实数的总和
(define xi (+ -1/3 2/3))
xr
===> 8.48333333333333
xi
===> 0.333333333333333
;; 检查精确性
(exact? xr)
===> #f
(exact? xi)
===> #f

二者實現都符合R5RS標準，但是第二個實現不符合R6RS，因為它沒有實現完整的數值塔。

原始數據類型不相交

[編輯]

在Scheme中原始數據類型是不相交的。對於任何Scheme對象，下列謂詞中只有一個可以為真：boolean?、pair?、symbol?、number?、char?、>string?、vector?、port?和procedure?（R5RS sec 3.2）[52]。

作為對比，在數值數據類型之內，對數值值是可以有交疊的。例如，一個整數值可以同時滿足如下謂詞：integer?、rational?、real?、complex?和number?（R5RS sec 6.2）[52]。

等價謂詞

[編輯]
參見：關係算子

Scheme在任意對象之間有三種不同類型的等價，它們通過三種不同的「等價謂詞」來指示，即測試等式的關係算符eq?、eqv?和equal?：

  • eq?求值為#f，除非它的實際參數表示在內存中相同的對象；
  • eqv?大體上同於eq?，但是特殊處理原始對象（比如字符和數），使得表示相同值的數eqv?為真，即使它們不引用相同的對象；
  • equal?比較數據結構比如列表、向量和字符串，來確定它們是否有全等的結構並且其內容eqv?為真（R5RS sec. 6.1）[52]。

在Scheme中還存在依賴於類型的等價運算：string=?和string-ci=?比較兩個字符串（後者進行不依賴大小寫比較）；char=?和char-ci=?比較字符；=比較數[52]。

輸入/輸出

[編輯]

Scheme的輸入和輸出基於了「端口」數據類型（R5RS sec 6.6）[52]。R5RS定義了兩個缺省端口，可通過過程current-input-port和current-output-port來訪問，它們對應於Unix概念的標準輸入和標準輸出。多數實現還提供current-error-port。標準通過標準過程比如with-input-from-file和with-output-to-file，支持輸入和標準輸出的重定向。多數實現提供有重定向能力的字符串端口，使用在SRFI 6中描述的過程[90]，確使很多常規的輸入-輸出運算能在字符串緩衝區上進行而非在文件上。R6RS標準規定了更多複雜和有能力的端口過程和很多新的端口類型。

下面的例子是使用嚴格的R5RS Scheme書寫的。

例子1，缺省輸出到current-output-port： 

(let ((hello0 (lambda() (display "Hello world") (newline))))
  (hello0))

例子2，類似例子1但對輸出過程使用可選的端口參數的例子： 

(let ((hello1 (lambda (p) (display "Hello world" p) (newline p))))
  (hello1 (current-output-port)))

類似例子1，但是輸出被重定向到一個新建文件： 

;; NB: with-output-to-file is an optional procedure in R5RS
(let ((hello0 (lambda () (display "Hello world") (newline))))
  (with-output-to-file "helloworldoutputfile" hello0))

類似例子2，但是具有顯式的文件打開和端口關閉來發送輸出到文件： 

(let ((hello1 (lambda (p) (display "Hello world" p) (newline p)))
      (output-port (open-output-file "helloworldoutputfile")))
  (hello1 output-port)
  (close-output-port output-port))

類似例子2，但是使用call-with-output-file來發送輸出到一個文件： 

(let ((hello1 (lambda (p) (display "Hello world" p) (newline p))))
  (call-with-output-file "helloworldoutputfile" hello1))

對輸入提供了類似的過程。R5RS Scheme提供了謂詞input-port?和output-port?。對於字符輸入和輸出提供了write-char、read-char、peek-char和char-ready?。為了書寫和閱讀Scheme表達式，Scheme提供了read和write。在讀運算時，如果輸入端口到達了文件的結束處，則返回的結果是end-of-file對象，並且這可以使用謂詞eof-object?來測試。

除了標準之外，SRFI 28定義了一個基本的格式化過程，類似Common Lisp的format並以此命名[91]。

標準過程的重定義

[編輯]

在Scheme中，過程被綁定到變量[68]。在R5RS中語言標準正式的授權編程者可以變更內建過程的變量綁定，在效果上重定義它們（R5RS "Language changes"）[52]。例如，通過重定義+可以將它擴展為同接受數一樣接受字符串： 

(set! +
  (let ((original+ +))
    (lambda args
      (apply
        (if (or (null? args) (string? (car args)))
          string-append
          original+)
        args))))

(+ 1 2 3)
===> 6
(+ "1" "2" "3")
===> "123"

在R6RS中所有綁定，包括標準過程，都屬於某個庫，並且所有導出的綁定都是不可變的（R6RS sec 7.1）[53]。因此，禁止通過變更進行標準過程的重定義。轉而，可以在標準過程的名字下導入不同的過程，這在效果上類似於重定義。

標準形式和過程概述

[編輯]

Scheme語言正式定義於1998年的R5RS和2007年R6RS標準之中。它們描述了標準「形式」，即關鍵字和隨同的語法，它們提供語言的控制結構，和執行通常任務的標準過程。

在標準Scheme中，從一個數據類型轉換到另一個數據類型的過程，在它們的名字中包含字符串->，謂詞結束於一個?，而改變已經分配了數據的值的過程結束於一個!。Scheme編程者通常跟從這些命名約定。

標準形式

[編輯]

本表格描述Scheme中的標準形式。某些形式出現在不止一行之中，因為它們不能被輕易的歸類入語言中的一個單一功能。

在表格中標記了「L」的形式被歸類為標準中的派生的「庫」形式，並且在實踐中通常被實現為使用了更基礎形式的宏，這使得實現任務比在其他語言中要容易許多。

R5RS Scheme語言中的標準形式
用途 形式
定義 define
綁定構造 lambda, do (L), let (L), let* (L), letrec (L)
條件求值 if, cond (L), case (L), and (L), or (L)
順序求值 begin (*)
迭代 lambda, do (L), 命名let (L)
語法擴展 define-syntax, let-syntax, letrec-syntax, syntax-rules (R5RS), syntax-case (R6RS)
引述 quote('), unquote(,), quasiquote(`), unquote-splicing(,@)
賦值 set!
延遲求值 delay (L)

注意begin在R5RS中被定義為庫語法，但是展開者需要知道它來完成分片功能。在R6RS中它不再是庫語法。

標準過程

[編輯]

下面兩個表格描述在R5RS Scheme中的標準過程。R6RS更加具有可擴展性而如此總結是不實際的。

某些過程出現在不止一行之中，因為它們不能輕易的分類入語言的一個單一功能。

R5RS Scheme語言中的標準過程
用途 過程
構造 vector, make-vector, make-string, list
等價謂詞 eq?, eqv?, equal?, string=?, string-ci=?, char=?, char-ci=?
類型轉換 vector->list, list->vector, number->string, string->number, symbol->string, string->symbol, char->integer, integer->char, string->list, list->string
數值 參見獨立表格
字符串 string?, make-string, string, string-length, string-ref, string-set!, string=?, string-ci=?, string<? string-ci<?, string<=? string-ci<=?, string>? string-ci>?, string>=? string-ci>=?, substring, string-append, string->list, list->string, string-copy, string-fill!
字符 char?, char=?, char-ci=?, char<? char-ci<?, char<=? char-ci<=?, char>? char-ci>?, char>=? char-ci>=?, char-alphabetic?, char-numeric?, char-whitespace?, char-upper-case?, char-lower-case?, char->integer, integer->char, char-upcase, char-downcase
向量 make-vector, vector, vector?, vector-length, vector-ref, vector-set!, vector->list, list->vector, vector-fill!
符號 symbol->string, string->symbol, symbol?
有序對和列表 pair?, cons, car, cdr, set-car!, set-cdr!, null?, list?, list, length, append, reverse, list-tail, list-ref, memq. memv. member, assq, assv, assoc, list->vector, vector->list, list->string, string->list
識別謂詞 boolean?, pair?, symbol?, number?, char?, string?, vector?, port?, procedure?
續體 call-with-current-continuation (call/cc), values, call-with-values, dynamic-wind
環境 eval, scheme-report-environment, null-environment, interaction-environment (可選)
輸入/輸出 display, newline, read, write, read-char, write-char, peek-char, char-ready?, eof-object? open-input-file, open-output-file, close-input-port, close-output-port, input-port?, output-port?, current-input-port, current-output-port, call-with-input-file, call-with-output-file, with-input-from-file(可選), with-output-to-file(可選)
系統接口 load (可選), transcript-on (可選), transcript-off (可選)
延遲求值 force
函數式編程 procedure?, apply, map, for-each
布爾邏輯 boolean? not

在其名字中包含-ci的字符串和字符過程，在它們的實際參數之間進行不依賴大小寫的比較：相同字符的大寫和小寫版本被認為是相等的。

R5RS Scheme語言中的標準數值過程
用途 過程
基本算術算符 +, -, *, /, abs, quotient, remainder, modulo, gcd, lcm, expt, sqrt
有理數 numerator, denominator, rational?, rationalize
近似 floor, ceiling, truncate, round
精確性 inexact->exact, exact->inexact, exact?, inexact?
不等式 <, <= , >, >=, =
雜項謂詞 zero?, negative?, positive? odd? even?
極大和極小 max, min
三角 sin, cos, tan, asin, acos, atan
指數 exp, log
複數 make-rectangular, make-polar, real-part, imag-part, magnitude, angle, complex?
輸入-輸出 number->string, string->number
類型謂詞 integer?, rational?, real?, complex?, number?

接受多於二個實際參數的-和/在R5RS中被定義了但留作為可選的。

Scheme實現要求

[編輯]
主條目：Scheme實現要求（英語：Scheme Requests for Implementation）

由於Scheme的極簡主義，很多常見過程和語法形式不是由標準定義的。 為了保持核心語言很小並促進擴展的標準化，Scheme社群擁有「Scheme實現要求」（SRFI）流程，通過對擴展提案的仔細研討來定義擴展庫。這提升了代碼可移植性。很多SRFI被幾乎所有Scheme實現支持。

在不同的實現中具有相當廣泛支持的SRFI包括[92]：

  • 0: 基於特徵的條件展開構造
  • 1: 列表庫
  • 4: 同質數值向量數據類型
  • 6: 基本字符串端口
  • 8: 接收、綁定到多個值
  • 9: 定義記錄類型
  • 13: 字符串庫
  • 14: 字符集庫
  • 16: 可變元數過程的語法
  • 17: 廣義set!
  • 18: 多線程支持
  • 19: 時間數據類型和過程
  • 25: 多維數組原語
  • 26: 不用柯里化的特殊化形式參數的表示法
  • 27: 隨機數位的來源
  • 28: 基本格式化字符串
  • 29: 本地化
  • 30: 嵌套的多行注釋
  • 31: 遞歸求值的特殊形式
  • 37: args-fold：程序實際參數處理器
  • 39: 形式參數對象
  • 41: 串流
  • 42: 及早推導式
  • 43: 向量庫
  • 45: 表達迭代式惰性算法的原語
  • 60: 作為位元的整數
  • 61: 更一般性的cond子句
  • 66: 八位組向量
  • 67: 比較過程

實作

[編輯]

Scheme的精簡設計，使得程式語言設計人士與愛好者，特別鍾愛研究它，故而它有不斷湧現的新實作，而活躍開發的實作也在持續跟進語言標準更新[93]。儘管Scheme有眾多實現是它的一個主要長處[24]，但是由於Scheme沒有庫函數標準，造成了很多不可互通的實作互相競爭，試圖使用Scheme編寫既複雜又便於移植的程序，往往比較困難[25]。R6RS和R7RS-Large，在核心語言之外制定了庫函數標準，使得編譯器開發者和貢獻者可以實現Scheme的可移植庫。

幾乎所有Scheme實作都有傳承自Lisp的「讀取﹣求值﹣輸出循環」交互模式，一些Scheme實作亦可作為編譯器。很多用C語言及衍生語言寫成的軟體，都利用Scheme作為腳本語言，很多嵌入式系統語言即是基於Scheme。Chez Scheme和Larceny等實現，可以將Scheme程式編譯為本機二進制碼。Gambit和Chicken等實現，可將Scheme程式編譯為C代碼，Bigloo（英語：Bigloo）還能編譯成JVM字節碼或者.Net字節碼。

一些實現支持額外的特徵。比如Kawa（英語：Kawa (Scheme implementation)）提供與Java類的集成，而Scheme到C編譯器通常易於使用C寫成的外部庫，甚至允許將實際C代碼嵌入到Scheme源代碼中。另一個例子是用java書寫的Pvts（英語：Pvts），它提供了支持Scheme學習的一組可視工具。

教科書

[編輯]

實際用處

[編輯]

很多著名的電腦科學院校都利用Scheme來教授入門級課程。以下為一些最為著名的教授Scheme的學校：

自由軟體影像處理程式GIMP利用Scheme為嵌入式腳本語言[99]。GNOME中有到核心庫的一個GNU的擴展語言Guile包裝器[100]。在2012年出現的Julia所採用的語法解析器，是用Scheme方言Femtolisp實現的。

參見

[編輯]

註釋

[編輯]
  1. ^ https://small.r7rs.org/.
  2. ^ BiwaScheme is a Scheme interpreter written in JavaScript. 
  3. ^ BONES － A simple Scheme compiler for x86_64 systems. [2022-11-14]. （原始內容存檔於2022-12-05）. 
  4. ^ 4.0 4.1 Alex Shinn. Chibi-Scheme is a very small library intended for use as an extension and scripting language in C programs. [2022-11-13]. （原始內容存檔於2022-12-23）. 
  5. ^ Cyclone Scheme is a brand-new compiler that allows real-world application development using the R7RS Scheme Language standard. [2022-11-13]. （原始內容存檔於2022-09-27）. 
  6. ^ Foment is an implementation of R7RS Scheme. [2022-11-13]. （原始內容存檔於2022-11-13）. 
  7. ^ With Hop.js, JavaScript and Scheme are fully interoperable and applications can mix both languages. 
  8. ^ 8.0 8.1 Larceny is a simple and efficient implementation of the Scheme programming language. 
  9. ^ LIPS is poweful Scheme based lisp interpreter written in JavaScript. [2021-11-09]. （原始內容存檔於2022-04-23）. 
  10. ^ Loko Scheme, an optimizing Scheme compiler. [2022-11-13]. （原始內容存檔於2022-12-06）. 
  11. ^ Mosh is a free and fast interpreter for Scheme as specified in the R7RS & R6RS. [2022-11-13]. （原始內容存檔於2022-12-06）. 
  12. ^ Picrin is a lightweight R7RS scheme implementation written in pure C89. [2022-11-13]. （原始內容存檔於2022-12-06）. 
  13. ^ Rapid Scheme expands and evaluates a Scheme program as described by the R7RS. [2022-11-13]. （原始內容存檔於2022-11-28）. 
  14. ^ s7 is a Scheme interpreter intended as an extension language for other applications. [2022-11-14]. （原始內容存檔於2022-12-16）. 
  15. ^ S9fES is a mature, portable, and comprehensible interpreter for R4RS Scheme. [2022-11-14]. （原始內容存檔於2022-12-05）. 
  16. ^ Sagittarius Scheme － R6RS/R7RS Scheme system. [2022-11-13]. （原始內容存檔於2022-12-24）. 
  17. ^ TR7: tiny R7RS-small scheme interpreter. [2023-12-17]. （原始內容存檔於2023-12-17）. 
  18. ^ femtolisp － a lightweight, robust, scheme-like lisp implementation. [2022-11-14]. （原始內容存檔於2022-12-22）. 
  19. ^ Husk is a dialect of Scheme written in Haskell that implements a superset of the R5RS standard and a large portion of the R7RS-small language. [2022-11-13]. （原始內容存檔於2022-11-23）. 
  20. ^ Swift LispKit is a framework for building Lisp-based extension and scripting languages for macOS and iOS applications. [2022-11-13]. （原始內容存檔於2022-12-09）. 
  21. ^ R7RS-small archive. [2021-11-10]. （原始內容存檔於2023-01-01）. 
  22. ^ The Scheme Programming Language. MIT. [2022-05-04]. （原始內容存檔於2022-04-12）. 
  23. ^ Harold Abelson and Gerald Jay Sussman with Julie Sussman. Structure and Interpretation of Computer Programs. Cambridge, MA: MIT Press. 1996 [2011]. ISBN 0-262-01153-0. （原始內容存檔於2018-03-09） （英語）. 
  24. ^ 24.0 24.1 scheme-faq-standards － What Scheme implementations are there?. Community Scheme Wiki. [2021-11-09]. （原始內容存檔於2010-02-18）. 
  25. ^ 25.0 25.1 Will Clinger, Marc Feeley, Chris Hanson, Jonathan Rees and Olin Shivers. Scheme Steering Committee Position Statement. Scheme Steering Committee. 2009-08-20 [2011-12-19]. （原始內容存檔於2009-08-26）. Scheme has the unhappy distinction of being the world's most unportable programming language. It is almost misleading to call Scheme a "programming language;" it would be more accurate to characterise Scheme as a family of dialects, all loosely related by the common features of lexical scope, dynamic typing, list structure, higher-order functions, proper tail-recursion, garbage collection, macros, and (some form of) s-expression based lexical syntax. 
  26. ^ John McCarthy. History of Lisp (PDF). Artificial Intelligence Laboratory, Stanford University. 12 February 1979 [2022-11-17]. （原始內容存檔 (PDF)於2020-11-07）. To use functions as arguments, one needs a notation for functions, and it seemed natural to use the λ-notation of Church (1941). I didn’t understand the rest of his book, so I wasn’t tempted to try to implement his more general mechanism for defining functions. Church used higher order functionals instead of using conditional expressions. Conditional expressions are much more readily implemented on computers. 
    David Turner（英語：David Turner (computer scientist)）. Some History of Functional Programming Languages (PDF). [2021-11-10]. （原始內容 (PDF)存檔於2020-04-15）. LISP was not based on the lambda calculus, despite using the word 「LAMBDA」 to denote functions. At the time he invented LISP, McCarthy was aware of (Church 1941) but had not studied it. The theoretical model behind LISP was Kleene’s theory of first order recursive functions. (McCarthy made these statements, or very similar ones, in a contribution from the floor at the 1982 ACM symposium on LISP and functional programming in Pittsburgh. No written version of this exists, as far as know.) 
  27. ^ A meta-circular interpreter of a subset of Scheme. [2022-11-14]. （原始內容存檔於2022-11-14）. 
  28. ^ Gerald J. Sussman, Guy L. Steele Jr. The First Report on Scheme Revisited. 1998 [2021-11-07]. （原始內容存檔於2022-04-06）. At about this time, Carl Hewitt was developing his theory of actors as a model of computation. This model was object-oriented and strongly influenced by Smalltalk. Every object was a computationally active entity capable of receiving and reacting to messages. The objects were called actors, and the messages themselves were also actors. Every computational entity was an actor and message-passing was the only means of interaction. An actor could have arbitrarily many acquaintances; that is, it could 「know about」 other actors and send them messages or send acquaintances as (parts of) messages. Hewitt then went on to model many traditional control structures as patterns of message-passing among actors. Functional interactions were modeled with the use of continuations; one might send the actor named 「factorial」 a message containing two other actors: the number 5 and another actor to which to send the eventually computed value (presumably 120). While Conniver made control points into first-class data, the actors model went to the logical extreme by making everything be first-class data. 
  29. ^ Carl Hewitt, Peter Bishop, Irene Greif, Brian Smith, Todd Matson, Richard Steiger. Actor induction and meta-evaluation. 1973 [2022-11-15]. （原始內容存檔於2022-11-15）.  「For some years we have been constructing a series of languages to express our evolving understanding of the above semantic issues. The latest of these is called PLANNER-73. ……
    We shall assume that the reader is familiar with advanced pattern matching languages such as SNOBOL4, CONVERT, PLANNER-71, QA4, and POPLER.
    We shall use (%A M%) to indicate sending the message M to the actor A. We shall use [s1 s2 … sn] to denote the finite squence s1, s2, … sn. ……
    Identifiers can be created by the prefix operator =. ……
    An expression (=> pattern body) is an abbreviation for (receive(message pattern) body) where receive is a more general actor that is capable of bindinq elements of the action in addition to the message.
    Evaluating
      (%(=> pattern body) the-message%), i.e. sending
      (=> pattern body) the-message,
    will attempt to match the-message against pattern, If the-message is not of the form specified by pattern, then the actor is NOT-APPLICABLE to the-message. If the-message matches pattern, the body is evaluated.
    ……
    Conceptually at least a new actor is created every time a message is sent. Consider sending to a target T a message M and a continuation C.
    (send T
    (message M
        [#continuation C]))

    The transmission (%T M%) is an abbreviation for the above where C is defaulted to be the caller. If target T is the following: 

    (receive
    (message the-body
        [#continuation =the-continuation])
    the-body)

    then the the-body is evaluated in an environment where the-message is bound to M and the-continuation is bound to C.
    ……
    Many actors who are executing in parallel can share the same continuation. They can all send a message [“return”] to the same continuation. 」
    Irene Greif, Carl Hewitt. Actor semantics of PLANNER-73. 1975 [2022-11-15]. （原始內容存檔於2022-11-15）. 

  30. ^ Gerald J. Sussman, Guy L. Steele Jr. The First Report on Scheme Revisited. 1998 [2021-11-07]. （原始內容存檔於2022-04-06）. Hewitt and his students developed and implemented in Lisp a new language to make concrete the actor model of computation. This language was first called Planner-73 but the name was later changed to PLASMA (PLAnner-like System Modeled on Actors).
    It was at this point that we (Sussman and Steele) put our heads together. (Steele had just become a graduate student at MIT, but he had been following this progression of language designs because he had had a part-time job at MIT Project MAC as one of the maintainers of MacLisp.) We wanted to better understand Hewitt’s actors model but were having trouble relating the actors model and its unusual terminology to familiar programming notions. We decided to construct a toy implementation of an actor language so that we could play with it. Using MacLisp as a working environment, we wrote a tiny Lisp interpreter and then added mechanisms for creating actors and sending messages. We wanted to better understand Hewitt’s actors model but were having trouble relating the actors model and its unusual terminology to familiar programming notions. We decided to construct a toy implementation of an actor language so that we could play with it. Using MacLisp as a working environment, we wrote a tiny Lisp interpreter and then added mechanisms for creating actors and sending messages.     
  31. ^ 彼得·蘭丁. The mechanical evaluation of expressions (PDF). 1964 [2022-11-17]. （原始內容存檔 (PDF)於2022-11-16）. Also we represent the value of a λ-expression by a bundle of information called a "closure," comprising the λ-expression and the environment relative to which it was evaluated. We must therefore arrange that such a bundle is correctly interpreted whenever it has to be applied to some argument. More precisely:
      a closure has
        an environment part which is a list whose two items are:
          ⑴ an environment
          ⑵ an identifier or list of identifiers,
        and a control part which consists of a list whose sole item is an AE.
    The value relative to E of a λ-expression X is represented by the closure denoted by
      constructclosure((E, bvX), unitlist(bodyX))     
  32. ^ Joel Moses（英語：Joel Moses）. The Function of FUNCTION in LISP, or Why the FUNARG Problem Should Be Called the Environment Problem (pdf). June 1970 [2009-10-27]. AI Memo 199. （原始內容存檔於2010-05-23）. The use of free variables is a very powerful computational idea. In many situations it is possible to avoid using free variables by supplying a function with additional arguments. This can be quite cumbersome. ……
    When a function uses free variables or when it calls functions which use them, then the value of this function is not completely determined by its arguments, since the value might depend on the values of the free variables. Thus in order to completely specify a computation, one has to specify a function and its arguments in addition to an environment in which the values of the free variables can be determined. ……
    An important point which must be realized about functional arguments (abbreviated FUNARGs) is that two different environments are involved in such cases. The first environment is the one which is in effect when then FUNARG is bound as an argument. We shall call this the binding environment. The second environment is the one that is in effect when the FUNARG is activated as a function. We shall call this the activation environment. ……
    Consider now what it would require for the system to restore the binding environment for functional arguments. It would require knowing where in the stack or "alist" the binding environment exists through some pointer to it. Supplying such pointer is a function FUNCTION in LISP. That is when one transmits a functional argument f which is to be evaluated in its binding environment, then one uses FUNCTION(f). FUNCTION will prevent its argument f from being evaluated, just as QUOTE would. The result of FUNCTION will be a structure which not only contains a reference to the function f, but also contains a pointer to the binding environment. Thus at the FUNARG's activation time we will be able to use the current place in the stack up to the point where the binding environment exists, thus skipping over any values in the activation environment which differ from those in the binding environment. ……
    The points we have made so far are:
    1) Free variables in function definitions require that one must have an environment in order to be able to evaluate a function.
    2) When one uses functional arguments, the the question arises as to which environment one chooses in order to evaluate the function, the binding environment or the activation environment.
    3) When one returns functions (which require the values of free variables for their evaluation) then one must, in general, save the binding environment and thus create a stack which is, in fact, a tree. ……
    LISP allows the user to choose between the binding environment and the activation environment by allowing a function to be bound with FUNCTION or with QUOTE. QUOTE will force the activation environment to be used in evaluating the function. A useful metaphor for the difference between FUNCTION and QUOTE in LISP is to think of QUOTE as a porous or an open covering of the function since free variables escape to the current environment. FUNCTION acts as a closed or nonporous covering (hence the term "closure" used by Landin). Thus we talk of "open" Lambda expressions (functions in LISP are usually Lambda expressions) and "closed" Lambda expressions. ……
    My interest in the environment problem began while Landin, who had a deep understanding of the problem, visited MIT during 1966-67. I then realized the correspondence between the FUNARG lists which are the results of the evaluation of "closed" Lambda expressions in LISP and ISWIM's Lambda Closures.     
  33. ^ Gerald J. Sussman, Guy L. Steele Jr. The First Report on Scheme Revisited. 1998 [2021-11-07]. （原始內容存檔於2022-04-06）. Sussman had just been studying Algol. He suggested starting with a lexically scoped dialect of Lisp, because that seemed necessary to model the way names could refer to acquaintances in PLASMA. Lexical scoping would allow actors and functions to be created by almost identical mechanisms. Evaluating a form beginning with the word lambda would capture the current variable-lookup environment and create a closure; evaluating a form beginning with the word alpha would also capture the current environment but create an actor. Message passing could be expressed syntactically in the same way as function invocation. The difference between an actor and a function would be detected in the part of the interpreter traditionally known as apply. A function would return a value, but an actor would never return; instead, it would typically invoke a continuation, another actor that it knew about. Our interpreter also provided the necessary primitives for implementing the internal behavior of primitive actors, such as an addition operator that could accept two numbers and a continuation actor. 
  34. ^ 34.0 34.1 Gerald J. Sussman, Guy L. Steele Jr. The First Report on Scheme Revisited. 1998 [2021-11-07]. （原始內容存檔於2022-04-06）. This led us to three important ideas:
    • First, we realized that all the patterns of control structure that Hewitt had described in terms of actors could equally well be described by the λ-calculus. ……
    • Second, we realized that the λ-calculus — a small, simple formalism — could serve as the core of a powerful and expressive programming language. (Lisp had adopted the λ-notation for functions but had failed to support the appropriate behavior for free variables. The original theoretical core of Lisp was recursion equations, not the λ-calculus.) ……
    • Third, we realized that in our quest for the 「ultimate AI language」 we had come full circle. As the MIT school had struggled to find more and more powerful ways to express and manipulate control structure to support heuristic search, we had progressed from Lisp to CONVERT to Planner to Conniver to PLASMA to a simple variation of Lisp!     
  35. ^ Gerald J. Sussman, Guy L. Steele Jr.. 鏈接至維基文庫 Scheme: An Interpreter for Extended Lambda Calculus. 維基文庫. 1975 （英文）. Inspired by ACTORS [Greif and Hewitt][Smith and Hewitt], we have implemented an interpreter for a LISP-like language, SCHEME, based on the lambda calculus [Church], but extended for side effects, multiprocessing, and process synchronization. The purpose of this implementation is tutorial. We wish to:
    ⑴ alleviate the confusion caused by Micro-PLANNER（英語：Planner (programming language)）, CONNIVER, etc. by clarifying the embedding of non-recursive control structures in a recursive host language like LISP.
    ⑵ explain how to use these control structures, independent of such issues as pattern matching and data base manipulation.
    ⑶ have a simple concrete experimental domain for certain issues of programming semantics and style.     
    LISP code for the SCHEME interpreter by Gerald Jay Sussman and Guy Lewis Steele, Jr. [2022-11-14]. （原始內容存檔於2022-11-14）. 
  36. ^ Gerald J. Sussman, Guy L. Steele Jr. The First Report on Scheme Revisited. 1998 [2021-11-07]. （原始內容存檔於2022-04-06）. We were very pleased with this toy actor implementation and named it 「Schemer」 because we thought it might become another AI language in the tradition of Planner and Conniver. However, the ITS operating system had a 6-character limitation on file names and so the name was truncated to simply SCHEME and that name stuck. 
  37. ^ Gerald J. Sussman, Guy L. Steele Jr. The First Report on Scheme Revisited. 1998 [2021-11-07]. （原始內容存檔於2022-04-06）. We concluded that actors and closures were effectively the same concept. (Hewitt later agreed with this, but noted that two types of primitive actors in his theory, namely cells (which have modifiable state) and synchronizers (which enforce exclusive access), cannot be expressed as closures in a lexically scoped pure Lisp without adding equivalent primitive extensions.) 
    Carl Hewitt（英語：Carl Hewitt）. ActorScript: Industrial strength integration of local and nonlocal concurrency for Client-cloud Computing. 2009 [2022-12-23]. （原始內容存檔於2022-12-23）. In summary, Sussman and Steele [1975] mistakenly concluded 「we discovered that the 'Actors' and the lambda expressions were identical in implementation.」 The actual situation is that the λ-calculus is capable of expressing some kinds of sequential and parallel control structures but, in general, not the concurrency expressed in the Actor model. On the other hand, the Actor model is capable of expressing everything in the λ-calculus and more [Hewitt 2008f]. 
  38. ^ Guy L. Steele Jr., Gerald J. Sussman. The Revised Report on SCHEME: A Dialect of LISP (PDF). 1978 [2022-11-18]. （原始內容存檔 (PDF)於2022-12-12）. SCHEME is a dialect of LISP. It is an expression-oriented, applicative order, interpreter-based language which allows one to manipulate programs as data. It differs from most current dialects of LISP in that it closes all lambda-expressions in the environment of their definition or declaration, rather than in the execution environment. This has the consequence that variables are normally lexically scoped, as in ALGOL. However, in contrast with ALGOL, SCHEME treats procedures as a first-class data type. They can be the values of variables, the returned values of procedures, and components of data structures. Another difference from LISP is that SCHEME is implemented in such a way that tail-recursions execute without net growth of the interpreter stack. The effect of this is that a procedure call behaves like a GOTO and thus procedure calls can be used to implement iterations, as in PLASMA. 
  39. ^ Gerald J. Sussman, Guy L. Steele Jr. The First Report on Scheme Revisited. 1998 [2021-11-07]. （原始內容存檔於2022-04-06）. We were actually trying to build something complicated and discovered, serendipitously, that we had accidentally designed something that met all our goals but was much simpler than we had intended.
    We thought that Scheme would turn out to be the next in a long series of programming languages that had been designed at MIT over the course of 17 years. ……
    In this process we learned some great lessons. The λ-calculus can be seen as a universal glue by which compound constructs can be built inductively from simpler ones and a set of primitives. …… The essence of the matter is that the λ-calculus provides a way of abstracting entities of any particular type and then combining such abstractions with other entities to make new entities of that same type, which are instances of the abstractions. …… Given the right primitives, the λ-calculus can serve as a foundation for the abstraction and instantiation of virtually any kind of complex conceptual structure.
    We also were struck by the great importance of names as a means of reference. …… Naming seems to correspond to some important cognitive mechanism that is, if not innate, then at least extremely well-developed in our culture. The λ-calculus embodies a provably coherent theory of naming.     
  40. ^ The Original 'Lambda Papers' by Guy Steele and Gerald Sussman. [2021-11-07]. （原始內容存檔於2022-01-12）. 
  41. ^ Gerald J. Sussman, Guy L. Steele Jr.. 鏈接至維基文庫 Scheme: An Interpreter for Extended Lambda Calculus. 維基文庫. 1975 （英文）. 
  42. ^ Gerald J. Sussman, Guy L. Steele Jr. Lambda: The Ultimate Imperative. 1976 [2021-11-11]. （原始內容存檔於2022-04-10）. 
  43. ^ Guy L. Steele Jr. LAMBDA: The Ultimate Declarative. 1976 [2021-11-10]. （原始內容存檔於2022-04-09）. 
  44. ^ Guy L. Steele Jr. Debunking the 'Expensive Procedure Call' Myth, or, Procedure Call Implementations Considered Harmful, or, Lambda: The Ultimate GOTO. 1977 [2021-11-07]. （原始內容存檔於2022-05-09）. 
  45. ^ Gerald J. Sussman, Guy L. Steele Jr. The Art of the Interpreter of the Modularity Complex (Parts Zero, One, and Two). 1978 [2021-11-07]. （原始內容存檔於2021-11-07）. 
  46. ^ Guy L. Steele Jr. RABBIT: A Compiler for SCHEME. 1978 [2021-11-07]. （原始內容存檔於2021-11-08）. 
    Rabbit Scheme: Old Scheme implementation in InterLisp. [2022-11-15]. （原始內容存檔於2021-12-03）. 
  47. ^ Gerald J. Sussman, Guy L. Steele Jr. Design of LISP-based Processors, or SCHEME: A Dielectric LISP, or Finite Memories Considered Harmful, or LAMBDA: The Ultimate Opcode. 1979 [2021-11-07]. （原始內容存檔於2021-11-07）. 
  48. ^ Guy L. Steele Jr. Compiler Optimization Based on Viewing LAMBDA as RENAME + GOTO. Patrick Henry Winston, Richard H. Brown (編). Artificial Intelligence: An MIT Perspective, Volume 2: Understanding Vision/Manipulation/Computer Design/Symbol Manipulation. 1979: 399–432 [2022-12-07]. （原始內容存檔於2022-12-07）. 
  49. ^ Gerald J. Sussman, Guy L. Steele Jr. Design of a LISP-based microprocessor. 1980 [2021-11-07]. （原始內容存檔於2021-11-08）. 
  50. ^ J.W. Backus; F.L. Bauer; J.Green; C. Katz; J. McCarthy P. Naur; et al. Revised Report on the Algorithmic Language Algol 60. Numerische Mathematik, Communications of the ACM, and Journal of the British Computer Society. January–April 1960 [2012-08-09]. （原始內容存檔於2007-06-25）. 
  51. ^ 51.0 51.1 IEEE 1178-1990 - IEEE Standard for the Scheme Programming Language. [2022-01-14]. （原始內容存檔於2021-03-04）. 
  52. ^ 52.00 52.01 52.02 52.03 52.04 52.05 52.06 52.07 52.08 52.09 52.10 52.11 52.12 52.13 52.14 52.15 52.16 Richard Kelsey, William Clinger（英語：William Clinger (computer scientist)）, Jonathan Rees; et al. Revised5 Report on the Algorithmic Language Scheme. Higher-Order and Symbolic Computation. August 1998, 11 (1): 7–105 [2007-01-04]. doi:10.1023/A:1010051815785. （原始內容存檔於2007-01-05） （英語）. Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis Steele Jr. and Gerald Jay Sussman. It was designed to have an exceptionally clear and simple semantics and few different ways to form expressions. A wide variety of programming paradigms, including imperative, functional, and message passing styles, find convenient expression in Scheme. 
  53. ^ 53.0 53.1 53.2 Michael Sperber, R. Kent Dybvig, Matthew Flatt（英語：Matthew Flatt）, Anton Van Straaten; et al. Revised6 Report on the Algorithmic Language Scheme. Scheme Steering Committee. August 2007 [2009-10-20]. （原始內容存檔於2013-06-25）. This report is accompanied by a report describing standard libraries; references to this document are identified by designations such as 「library section」 or 「library chapter」. It is also accompanied by a report containing non-normative appendices. A fourth report gives some historical background and rationales for many aspects of the language and its libraries. 
  54. ^ Revised6 Report on the Algorithmic Language Scheme, Appendix E: language changes. Scheme Steering Committee. 2007-09-26 [2011-12-19]. （原始內容存檔於2010-04-09）. 
  55. ^ R6RS Electorate. Scheme Steering Committee. 2007 [2009-10-20]. （原始內容存檔於2008-12-04）. 
  56. ^ Marc Feeley (compilation). Implementors' intentions concerning R6RS. Scheme Steering Committee, r6rs-discuss mailing list. 2007-10-26 [2009-10-20]. （原始內容存檔於2008-08-20）. 
  57. ^ R7RS Home Page. [2022-11-13]. （原始內容存檔於2022-12-17）. 
  58. ^ Alex Shinn, John Cowan（英語：John W. Cowan）, Arthur A. Gleckler; et al. The Revised7 Report on the Algorithmic Language Scheme (PDF). 2022-09-06 [2022-11-13]. （原始內容存檔 (PDF)於2022-11-13）. 
    R7RS-small archive. [2021-11-10]. （原始內容存檔於2023-01-01）. 
  59. ^ Implementations support all or part of R7RS-small. [2022-11-13]. （原始內容存檔於2022-11-13）. 
  60. ^ R7RS-Large Interim Red Edition. 2020-03-17 [2022-11-13]. （原始內容存檔於2022-11-13）. The Revised7 Report on the Algorithmic Language Scheme (「R7RS」) intentionally describes a small language, suitable for implementing on reduced hardware, or for experiments in programming language design and implementation.
    However, Scheme is used for practical programming, and there a minimal language is not a help. Additional data structures and programming idioms make the programmer’s job easier (if they are well-designed!). Therefore, as part of the R7RS design process, it was agreed that a subsequent report would appear on 「R7RS-Large」, a collection of Scheme libraries that are useful across a wide variety of problems.
    The decision of what was to appear in R7RS-Large was left to the community, and a strategy was adopted: proposals were published as SRFIs (Scheme Requests For Implementation, http://srfi.schemers.org), and the community would then vote on which would be adopted.
    As a result, R7RS-Large will be developed in several stages, depending upon the support from the community for each proposal. At each stage, several SRFIs are frozen, and implementers and users may then rely upon those libraries being in the final product. (In a few cases, a library might be revisited, with a subsequent stage adopting a completely backward-compatible new version of that library; this has already happened with generators.)
    When this process has completed, the resulting interim reports will be collated and reorganized into a final document.     
  61. ^ 61.0 61.1 61.2 61.3 William Clinger（英語：William Clinger (computer scientist)）. The Revised Revised Report on Scheme or An Uncommon Lisp (PDF). 1985 [2022-11-17]. （原始內容存檔 (PDF)於2022-10-17）. Data and procedures and the values they amass, Higher-order functions to combine and mix and match, Objects with their local state, the message they pass, A property, a package, the control of point for a catch － In the Lambda Order they are all first-class. One thing to name them all, one things to define them, one thing to place them in environments and bind them, in the Lambda Order they are all first-class. ……
    Scheme shares with Common Lisp the goal of a core language common to several implementations. Scheme differs from Common Lisp in its emphasis upon simplicity and function over compatibility with older dialects of Lisp.     
  62. ^ Gerald J. Sussman, Guy L. Steele Jr. The Revised Report on SCHEME: A Dialect of LISP. 1978. System-Provided Extensions － Some standard syntactic extension are provided by convenience in ordinary programming. They are distinguished from other magic words in that they are semantically defined in terms of others rather then being primitive {Note FEXPR（英語：fexpr）s Are Okay by Us}. For expository purposes they are described here pattern-matching/production-rules kind of language. takes advantage of the definition of list notation: (A B C) = (A . (B . (C . NIL))). Thus the pattern (x . r) matches (A B C), with x = A and r = (B C). the ordering of the "productions" is significant; the first one which matches is to be used. 
  63. ^ Kent M. Pitman（英語：Kent Pitman）. The Revised Maclisp Manual. 1983, 2007 [2022-12-16]. （原始內容存檔於2022-12-16）. In the interpreter 「variables」 are implemented as atomic symbols which possess 「shallow-bound」 value cells. The continual manipulation of value cells would decrease the efficiency of compiled code, so the compiler defines two types of variables: 「special variables」 and 「local variables.」 Special variables are identical to variables in the interpreter.
    Local variables are more like the variables in commonly-used algebraic programming languages such as Algol or PL/I. A local variable no longer has an associated atomic symbol; thus it can only be referred to from the text of the same function that bound it. The compiler creates local variables for PROG variables, DO variables, and LAMBDA variables, unless directed otherwise. The compiled code stores local variables in machine registers or in locations within a stack.
    The principal difference between local variables and special variables is in the way a binding of a variable is compiled. (A binding has to be compiled when a PROG, DO, or LAMBDA expression is compiled, and for the entry to a function which has LAMBDA variables to be bound to its arguments.) If the variable to be bound has been declared to be special, the binding is compiled as code to imitate the way the interpreter binds variables: the value of the atomic symbol is saved and a new value is stored into its value cell. If the variable to be bound has not been declared special, the binding is compiled as the declaration of a new local variable. Code is generated to store the value to which the variable is to be bound into the register or stack-location assigned to the new local variable. This runs considerably faster than a special binding.
    Although a special variable is associated with an atomic symbol which has the name of the variable, the name of a local variable appears only in the input file － in compiled code there is no connection between local variables and atomic symbols. Because this is so, a local variable in one function may not be used as a 「free variable」 in another function since there is no way for the location of the variable to be communicated between the two functions.
    When the usage of a variable in a program to be compiled does not conform to these rules, i.e. it is somewhere used as a 「free variable,」 the variable must be declared special. There are two common cases in which this occurs. One is where a 「global」 variable is being used, i.e. a variable which is SETQ'ed by many functions but is never bound. The other is where two functions cooperate, one binding a variable and then calling the other one which uses that variable as a free variable.     
  64. ^ 64.0 64.1 Gerald J. Sussman, Guy L. Steele Jr.. 鏈接至維基文庫 Scheme: An Interpreter for Extended Lambda Calculus. 維基文庫. 1975 （英文）. There are several important consequences of closing every lambda expression in the environment from which it is passed (i.e., in its "lexical" or "static" environment).
    First, the axioms of lambda calculus are automatically preserved. Thus, referential transparency（英語：referential transparency） is enforced. This in turn implies that there are no "fluid" variable bindings (as there are in standard stack implementations of LISP such as MacLISP).
    Second, the upward funarg problem（英語：funarg problem） [Moses] requires that the environment structure be potentially tree-like.
    Finally, the environment at any point in a computation can never be deeper than the lexical depth of the expression being evaluated at that time; i.e., the environment contains bindings only for variables bound in lambdas lexically surrounding the expression being evaluated. This is true even if recursive functions are involved. ……Furthermore, it is not even necessary to scan the environment for the variable, since its value must be in a known position relative to the top of the environment structure; this position can be computed by a compiler at compile time on the basis of lexical scope.     
  65. ^ John McCarthy, Paul W. Abrahams, Daniel J. Edwards, Timothy P. Hart, Michael I. Levin. LISP 1.5 Programmer's Manual (PDF) 2nd. MIT Press. 1985 [1962] [2021-10-25]. ISBN 0-262-13011-4. （原始內容 (PDF)存檔於2021-03-02）. The variables in a lambda expression are dummy or bound variables because systematically changing them does not alter the meaning of the expression. Thus λ[[u;v];v2+u] means the same thing as λ[[x;y];y2+x].
    We shall sometimes use expressions in which a variable is not bound by a lambda. For example, in the function of two variables λ[[x;y];xn+yn] the variable n is not bound. This is called a free variable. It may be regarded as a parameter. Unless n has been given a value before trying to compute with this function, the value of the function must be undefined. ……
    When the compiler is called upon to compile a function, it looks for an EXPR or FEXPR on the property list of the function name. The compiler then translates this S-expression into an S-expression that represents a subroutine in the LISP Assembly Language (LAP). LAP then proceeds to assemble this program into binary program space. Thus an EXPR, or an FEXPR, has been changed to a SUBR or an FSUBR, respectively. ……
    Free variables in compiled functions must be declared before the function is compiled. ……
    A variable is bound in a particular function when it occurs in a list of bound variables following the word LAMBDA or PROG. Any variable that is not bound is free. ……
    When a variable is used free, it must have been bound by a higher level function. If a program is being run interpretively, and a free variable is used without having bee bound on a higher level, error diagnostic *A 8* will occur.
    If the program is being run complied, the diagnostic may not occur, and the variable may have value NIL.
    There are three types of variables in compiled functions: ordinary variables, SPECIAL variables, and COMMON variables. SPECIAL and COMMON variables must be declared before compiling. Any variable that is not declared will be considered an ordinary variable.
    When functions are translated into subroutines, the concept of a variable is translated into a location where an argument is stored. If the variable is an ordinary one, then a storage location for it is set up on the push-down list. Other functions cannot find this private cell, making it impossible to use it as a free variable.
    SPECIAL variables have the indicator SPECIAL on their property lists Following the indicator there is a pointer to a fixed cell. When this variable is bound, the old value is saved on the push-down list, and the current value is stored in the SPECLAL cell. When it is no longer bound, the old value must be restored. When a function uses this variable free, then the quantity in the SPECIAL cell is picked up.
    SPECIAL variables are declared by using the pseudo-function special[a], where a is a list of variable names. ……
    SPECIAL variables are inexpensive and will allow free communication among compiled functions. They do not increase run time significantly. SPECIAL variables cannot be communicated between the interpreter and compiled functions.
    COMMON variables have the flag COMMON on their property lists; however, this is only used to inform the compiler that they are COMMON, and is not needed at run time. COMMON variables are bound on an a-list by the compiled functions. When they are to be evaluated, eval is given this a-list. This happens at run time.
    The use of COMMON variables will slow down any compiled function using them. However, they do provide complete communication between interpreted and compiled functions.
    COMMON variables are declared by common[a], where a is a list of variable names. ……
    LISP is designed in such a way that all functions for which the possibility of recursion can exist are in fact recursive. This requires that all temporary stored results related to the computation that is in progress be set aside when a piece of coding is to be used recursively, and that they be later restored. This is done automatically and need not be programmed explicitly.
    All saving of temporary results in LISP is performed on a linear block of storage called the push-down list. Each set of stored data that is moved onto the push-down list is in a block labeled with its size and the name of the subroutine from which it came. Since it is in the nature of recursion that the first block to be saved is always the last block to be restored, it is possible to keep the push-down list compact.     
    Joel Moses（英語：Joel Moses）. The Function of FUNCTION in LISP, or Why the FUNARG Problem Should Be Called the Environment Problem (pdf). June 1970 [2009-10-27]. AI Memo 199. （原始內容存檔於2010-05-23）. There are several ways in which to maintain the values of free variables (and, thus the computational environment) in order to handle cases like the one above. All of the techniques used involve some increase in time. One approach makes it easy to access the value of a free variable is local. This approach is favored in recent implementations of LISP. We shall call it the "shallow access" approach.
    Another approach is to make it relatively easy to enter and leave a block in which a free variable is bound, but relatively expensive to access a free variable. This approach is used in the classical "alist" implementation of LISP. Several Algol systems have opted for a similar approach. We shall call this the "deep access" approach. Both of these approaches allow one to modify the value of the variable as well as access it. The access time is approximately the same as modification time in both approaches.
    Let us consider the "shallow access" approach first. By "shallow access" we mean that the value of a free variable can be obtained in a single fetch from memory. Since the current value may be stored in a difficult-to-determine location up in the stack, a special cell for its current value is used. In many recent LISP implementations this special values cell is stored as a property of the atom structure, and is unique to the free variable. In order to maintain the proper value in the special cell, extra work must be done every time a function or a block is entered in which the variable is an argument or is local. On entering such a function or block one usually saves the old value which is in the special cell on the stack alone with sufficient information to allow one to know from where the stack value came. On leaving such a function or block one must remember to store the value saved in the stack in the special cell.
    The "deep access" approach forces one to search upward in the stack for the most recent value of the free variable. Such a search may be quite deep and slow if the free variable was bond vary far up in the stack. However, this approach has the advantage of avoiding the need for an extra special value cell. In addition, we shall see later that this approach sometimes allows one to use free variables with greater ease and flexibility than the "shallow access" approach. ……
    Certain LISP systems use "deep access" in interpreted functions and "shallow access" in compiled functions. if free variables in compiled functions are declared to be COMMON, their values will be stored on the "alist". In this manner one can solve the environment problem. The cost is a very slow interpreter and "deep access" to free variables.     
  66. ^ van Tonder, André. A Lambda Calculus for Quantum Computation. SIAM Journal on Computing. 1 January 2004, 33 (5): 1109–1135. S2CID 613571. arXiv:quant-ph/0307150 可免費查閱. doi:10.1137/S0097539703432165. 
  67. ^ Niehren, J.; Schwinghammer, J.; Smolka, G. A concurrent lambda calculus with futures (PDF). Theoretical Computer Science. November 2006, 364 (3): 338–356 [2021-11-07]. doi:10.1016/j.tcs.2006.08.016. （原始內容 (PDF)存檔於2022-04-08）. 
  68. ^ 68.0 68.1 Gerald J. Sussman, Guy L. Steele Jr.. 鏈接至維基文庫 Scheme: An Interpreter for Extended Lambda Calculus. 維基文庫. 1975 （英文）.
    DEFINE － This is analogous to the MacLISP DEFUN primitive (but note that the LAMBDA must appear explicitly!). It is used for defining a function in the "global environment" permanently, as opposed to LABELS (see below), which is used for temporary definitions in a local environment. DEFINE takes a name and a lambda expression; it closes the lambda expression in the global environment and stores the closure in the LISP value cell of the name (which is a LISP atom). ……
    LABELS － We have decided not to use the traditional LABEL primitive in this interpreter because it is difficult to define several mutually recursive functions using only LABEL. The solution, which Hewitt [Smith and Hewitt] also uses, is to adopt an ALGOL-esque block syntax:
      (LABELS <function definition list> <expression>)
    This has the effect of evaluating the expression in an environment where all the functions are defined as specified by the definitions list. Furthermore, the functions are themselves closed in that environment, and not in the outer environment; this allows the functions to call themselves and each other recursively.     
    Gerald J. Sussman, Guy L. Steele Jr. The Revised Report on SCHEME: A Dialect of LISP. 1978 [2021-11-07]. （原始內容存檔於2022-04-06）. Atoms which are not atomic symbols (identifiers) evaluate to themselves. Typical examples of such atoms are numbers, arrays, and strings (character arrays). Symbols are treated as identifiers or variables. They may be lexically bound by lambda-expressions. There is a global environment containing values initially have as their values primitive operations such as, for example, CAR, CONS, and PLUS. SCHEME differs from most LISP systems in that the atom CAR is not itself an operation (in the sense of being an invocable object, e.g. a valid first argument to APPLY), but only has one as a value when considered as an identifier. 
  69. ^ Structure and Interpretation of Computer Programs － 2.1.3 What Is Meant by Data?. [2024-01-13]. （原始內容存檔於2024-02-26）. 
  70. ^ y-combinator. [2024-01-06]. （原始內容存檔於2024-01-06）. 
  71. ^ Gerald J. Sussman, Guy L. Steele Jr.. 鏈接至維基文庫 Lambda: The Ultimate Imperative. 維基文庫. 1976 （英文）. Lambda calculus (and related languages, such as "pure LISP") is often used for modelling the applicative constructs of programming languages. However, they are generally thought of as inappropriate for modelling imperative constructs. …… we show how imperative constructs may be modelled by applicative SCHEME constructs. ……
    Up to now we have thought of SCHEME’s LAMBDA expressions as functions, and of a combination such as (G (F X Y)) as meaning 「apply the function F to the values of X and Y, and return a value so that the function G can be applied and return a value ...」 But notice that we have seldom used LAMBDA expressions as functions. Rather, we have used them as control structures and environment modifiers. For example, consider the expression:
      (BLOCK (PRINT 3) (PRINT 4))
    This is defined to be an abbreviation for:
      ((LAMBDA (DUMMY) (PRINT 4)) (PRINT 3))
    We do not care about the value of this BLOCK expression; it follows that we do not care about the value of the (LAMBDA (DUMMY) ...). We are not using LAMBDA as a function at all.
    It is possible to write useful programs in terms of LAMBDA expressions in which we never care about the value of any lambda expression. We have already demonstrated how one could represent any 「FORTRAN」 program in these terms: all one needs is PROG (with GO and SETQ), and PRINT to get the answers out. The ultimate generalization of this imperative programming style is continuation-passing. ……
    …… we will consider the problem of dynamically scoped, or "fluid", variables. These do not exist in ALGOL, but are typical of many LISP implementations, ECL, and APL. We will see that fluid variables may be modelled in more than one way, and that one of these is closely related to continuation-passing.     
  72. ^ Gerald J. Sussman, Guy L. Steele Jr.. 鏈接至維基文庫 Scheme: An Interpreter for Extended Lambda Calculus. 維基文庫. 1975 （英文）. It is always possible, ……to perform any calculation in this way: rather than reducing to its value, it reduces to an application of a continuation to its value (cf. [Fischer]). That is, in this continuation-passing programming style, a function always "returns" its result by "sending" it to another function. 
  73. ^ Gerald J. Sussman, Guy L. Steele Jr. The Revised Report on SCHEME: A Dialect of LISP. 1978. Non-atomic forms are divided by the evaluator into two classes: combinations and "magic (special) forms". …… Magic forms are recognized by then presence of a "magic (reserved) word" in the car position of the form. All non-atomic forms which are not magic forms are considered to be combinations. The system has a small initial set of magic words; there is also a mechanism for creating new ones {Note FUNCALL is a Pain}.
    A combination is considered to be a list of subforms. These subforms are all evaluated. The first value mub be a procedure; it is applied to the other values to get the value of the combination. There are four important points here:
    (1) the procedure Position is always evaluated just like any other position. (This is why the primitive operators are the values of global identifiers.)
    (2) the procedure is never "re-evaluated"; if the first subform fails to evaluate to a applicable procedure, it is an error. Thus, unlike most LISP systems, SCHEME always evaluates the first subform of a combination exactly once.
    (3) the arguments are all completely evaluated before the procedure is applied; that is, SCHEME, like most LISP systems, is an applicative-order language. Many SCHEME programs exploit this fact.
    (4) the argument forms (and procedure form) may in principle be evaluated in any order. This is unlike the usual LISP left-to-right order. (All SCHEME interpreters implemented so far have in fact performed left-to-right evaluation, but we do not wish programs to depend on this fact. Indeed, there are some reasons why a clever interpreter might want to evaluate them right-to-left, e.g. to get things on a stack in the correct order.)     
  74. ^ Gerald J. Sussman, Guy L. Steele Jr.. 鏈接至維基文庫 Scheme: An Interpreter for Extended Lambda Calculus. 維基文庫. 1975 （英文）.
    BLOCK － This is like the MacLISP PROGN, but arranges to evaluate its last argument without an extra net control frame (explained later), so that the last argument may involved in an iteration. Note that in SCHEME, unlike MacLISP, the body of a LAMBDA expression is not an implicit PROGN.     
    Gerald J. Sussman, Guy L. Steele Jr.. 鏈接至維基文庫 Lambda: The Ultimate Imperative. 維基文庫. 1976 （英文）. At this point we are almost in a position to model the most general form of compound statement. In LISP, this is called the "PROG feature". In addition to statement sequencing and GO TO statements, one can return a value from a PROG by using the RETURN statement.
    Let us first consider the simplest compound statement, which in SCHEME we call BLOCK. Recall that
        (BLOCK S1 S2) is defined to be ((LAMBDA (DUMMY) S2) S1)
    Notice that this not only performs S1 before S2, but also returns the value of S2. Furthermore, we defined (BLOCK S1 S2 ... Sn) so that it returns the value of Sn. Thus BLOCK may be used as a compound expression, and models a LISP PROGN, which is a PROG with no GO TO statements and an implicit RETURN of the last "statement" (really an expression).     
    Gerald J. Sussman, Guy L. Steele Jr. The Revised Report on SCHEME: A Dialect of LISP. 1978.
    (BLOCK x1 x2 ... xn)
        (BLOCK x) → x
        (BLOCK x . r) → ((LAMBDA (A B) (B)) x (LAMBDA () (BLOCK . r)))
    BLOCK sequentially evaluates the subforms xi from left to right. For example:
        (BLOCK (ASET' X 43) (PRINT X) (+ X 1))
    returns 44 after setting x to 43 and then printing it {Note BLOCK Exploits Applicative Order}.
    (LET ((v1 x1) (v2 x2) ... (vn xn)) . body)
        → ((LAMBDA (v1 v2 ... vn) (BLOCK . body)) x1 x2 ... xn)
    LET provides a convenient syntax for binding several variables to corresponding quantities. It allows the forms for the quantities to appear textually adjacent to their corresponding variables. Notice that the variables are all bound simultaneously, not sequentially, and that the initialization form xi may be evaluated in any order. For convenience, LET also supplies a BLOCK around the forms constituting its body.     
  75. ^ Gerald J. Sussman, Guy L. Steele Jr.. 鏈接至維基文庫 Scheme: An Interpreter for Extended Lambda Calculus. 維基文庫. 1975 （英文）. DO － This is like the MacLISP "new-style" DO; old-style DO is not supported. 
  76. ^ Gerald J. Sussman, Guy L. Steele Jr. The Revised Report on SCHEME: A Dialect of LISP. 1978 [2021-11-07]. （原始內容存檔於2022-04-06）. Another difference from LISP is that SCHEME is implemented in such a way that tail-recursions execute without net growth of the interpreter stack. The effect of this is that a procedure call behaves like a GOTO and thus procedure calls can be used to implement iterations, as in PLASMA. 
  77. ^ Gerald J. Sussman, Guy L. Steele Jr.. 鏈接至維基文庫 Scheme: An Interpreter for Extended Lambda Calculus. 維基文庫. 1975 （英文）. CATCH － This is the "escape operator" which gives the user a handle on the control structure of the interpreter. The expression:
      (CATCH <identifier> <expression>)
    evaluates <expression> in an environment where <identifier> is bound to a continuation which is "just about to return from the CATCH"; that is, if the continuation is called as a function of one argument, then control proceeds as if the CATCH expression had returned with the supplied (evaluated) argument as its value. ……
    As another example, we can define a THROW function, which may then be used with CATCH much as they are in LISP:
      (DEFINE THROW (LAMBDA (TAG RESULT) (TAG RESULT)))     
  78. ^ David Madore, "call/cc mind-boggler" Portuguese Web Archive的存檔，存檔日期2011-01-22
  79. ^ Yin Wang, "Understanding the Yin-Yang Puzzle"
  80. ^ Richard P. Gabriel（英語：Richard P. Gabriel）; Kent M. Pitman（英語：Kent M. Pitman）. Technical Issues of Separation in Function Cells and Value Cells. Lisp and Symbolic Computation. June 1988, 1 (1): 81–101 [2021-11-08]. S2CID 26716515. doi:10.1007/bf01806178. （原始內容存檔於2006-11-13）. 
  81. ^ Taylor Campbell. SRFI 62: S-expression comments. The SRFI Editors, schemers.org. 2005-07-21 [2012-08-09]. （原始內容存檔於2022-04-11）. 
  82. ^ Gerald J. Sussman, Guy L. Steele Jr. The Revised Report on SCHEME: A Dialect of LISP. 1978 [2021-11-07]. （原始內容存檔於2022-04-06）. Syntactic Extensions － SCHEME has a syntactic extension mechanism which provides a way to define an identifier to be a magic word, and to associate a function with that word. The function accepts the magic form as an argument, and produces a new form; this new form is then evaluated in place of the original (magic) form. This is precisely the same as the MacLISP macro facility. 
  83. ^ Kohlbecker, E.; Friedman, D. P.; Felleisen, M.; Duba, B. Hygienic Macro Expansion (PDF). ACM conference on LISP and functional programming. 1986 [2021-11-10]. （原始內容 (PDF)存檔於2017-08-29）. In most current Lisp systems the expander's task is confined to the process of finding syntactic extensions and replacing them by their expansions. This implies, in particular, the each macro function is responsible for the integrity of the program. For Lisp systems (and other languages with similar macro facilities) this means specifically that variable binding must not be corrupted. This, however, is not as simple a task as it sounds. ……
    The real danger of these erroneous macros is that they are treacherous. They work in all cases but one: when the user － or some other macro writer － inadvertently picks the wrong identifier name.
    Various techniques have been proposed to circumvent this capturing problem, but they rely on the individual macro writer. if even one of many macro writers is negligent, the macro system becomes unsafe. We claim that the task of safely renaming macro-generated identifier is mechanical. It is essentially an α-conversion, which is knowledgeable about the origin of the identifiers. For these reasons we propose a change to the navïe macro expansion algorithm which automatically maintains hygienic conditions during expansion time.     
    Kohlbecker, E; Wand, M. Macro-by-example: Deriving syntactic transformations from their specifications (PDF). Symposium on Principles of Programming Languages. 1987 [2021-11-10]. （原始內容 (PDF)存檔於2022-04-12）. 
  84. ^ William Clinger and Jonathan Rees, editors. Revised4 Report on the Algorithmic Language Scheme. ACM Lisp Pointers. 1991, 4 (3): 1–55 [2012-08-09]. （原始內容存檔於2022-01-22）. 
  85. ^ Flatt, Matthew. Binding as sets of scopes. Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 2016: 705–717. ISBN 978-1-4503-3549-2. S2CID 15401805. doi:10.1145/2837614.2837620. 
  86. ^ 86.0 86.1 Philip L. Bewig. SRFI 41: Streams. The SRFI Editors, schemers.org. 2008-01-24 [2012-08-09]. （原始內容存檔於2021-03-07）. 
  87. ^ Gerald J. Sussman, Guy L. Steele Jr.. 鏈接至維基文庫 Scheme: An Interpreter for Extended Lambda Calculus. 維基文庫. 1975 （英文）. EVALUATE － This is similar to the LISP function EVAL. It evaluates its argument, and then evaluates the resulting s-expression as SCHEME code. 
  88. ^ 88.0 88.1 The Scheme of Things: The June 1992 Meeting － Evaluating computed expressions. ACM SIGPLAN, Lisp Pointers, Volume V, Issue 4. 1992 [2021-11-12]. （原始內容存檔於2022-04-04）. 
  89. ^ Gerald J. Sussman, Guy L. Steele Jr. The Revised Report on SCHEME: A Dialect of LISP. 1978 [2021-11-07]. （原始內容存檔於2022-04-06）.
      (ENCLOSE fnrep envrep)
    ENCLOSE takes two s-expressions, one representing the code for a procedure, and the other representing the (lexical) environment in which is to run. ENCLOSE returns a (closed) procedure which can be invoked.
    The representation of the code is the standard s-expression description (a lambda-expression). the representation of the environment is an association list (a-list) of the traditional kind:
      ((var1 . value1) (var2 . value2) ...)
    NIL represents the global lexical environment. ……
    The EVALUATE primitive described in [SCHEME] has been removed from the language. We discovered (the hard way) that the straightforward implementation of EVALUATE (evaluate the given expression in the current environment) destroys referential transparency（英語：referential transparency）. We then altered it to evaluate the expression in the top-level environment, but were still disturbed by the extent to which one is tied to a particular representation of a procedure to be executed.     
  90. ^ William D Clinger. SRFI 6: Basic String Ports. The SRFI Editors, schemers.org. 1999-07-01 [2012-08-09]. （原始內容存檔於2021-10-21）. 
  91. ^ Scott G. Miller. SRFI 28: Basic Format Strings. The SRFI Editors, schemers.org. 2002-06-25 [2012-08-09]. （原始內容存檔於2022-05-08）. 
  92. ^ Scheme Systems Supporting SRFIs. The SRFI Editors, schemers.org. 2009-08-30 [2012-08-09]. （原始內容存檔於2021-06-20）. 
  93. ^ Scheme Benchmarks. [2022-11-14]. （原始內容存檔於2022-11-04）. 
  94. ^ Brian Harvey, Matthew Wright. Simply Scheme: Introducing Computer Science. 1999 [2021-11-07]. （原始內容存檔於2022-05-04）. 
  95. ^ Eric Grimson. 6.001 Structure and Interpretation of Computer Programs. MIT Open Courseware. Spring 2005 [2009-10-20]. （原始內容存檔於2009-10-01）. 
  96. ^ Alex Vandiver, Nelson Elhage; et al. 6.184 - Zombies drink caffeinated 6.001. MIT CSAIL. January 2009 [2009-10-20]. （原始內容存檔於2009-08-28）. 
  97. ^ Brian Harvey. CS 61A Structure and Interpretation of Computer Programs. UC Berkeley Webcasts. Spring 2011 [2011-12-18]. （原始內容存檔於2016-03-16）. 
  98. ^ John DeNero. CS 61A Structure and Interpretation of Computer Programs. UC Berkeley. Fall 2011 [2011-12-18]. （原始內容存檔於2011-12-29）. 
  99. ^ Dov Grobgeld. The GIMP Basic Scheme Tutorial. The GIMP Team. 2002 [2009-10-20]. （原始內容存檔於2010-01-24）. 
  100. ^ guile-gnome. Free Software Foundation. [2009-10-20]. （原始內容存檔於2016-03-04）. 

延伸閱讀

[編輯]

外部連結

[編輯]
取自「https://zh.wikipedia.org/w/index.php?title=Scheme&oldid=85249774」