Scheme

出典: フリー百科事典『ウィキペディア（Wikipedia）』

Scheme（スキーム）は、ガイ・スティールJr.（Guy Lewis Steele Jr.）とジェラルド・ジェイ・サスマン（Gerald Jay Sussman）によって開発された関数型プログラミング言語であり、LISPの方言の1つ。他のLISP言語と比べてもシンプルで強力であることが特徴である。

Schemeは、実行時のスナップショットを抽象化した継続（コンティニュエーション）、静的スコープ、末尾最適化を言語として保証するなどの機能を持つ。

Schemeが出てくるまでの他のLISP方言では変数束縛が実行履歴を元に決定される動的スコープを採用することが多かったが、Schemeでは変数の意味がコード上のネスティングで定まるという静的スコープを持つ。静的スコープはCommon Lispに採用された。Schemeは、アメリカでは大学でのプログラミング教育に広く使われている。

MITでプログラミング教育に使われている処理系実装MIT Schemeは、多くのプラットフォームで動作する。

サスマンらによる『計算機プログラムの構造と解釈第二版』（ISBN 489471163X）は、演習や説明にSchemeを使ったコンピュータサイエンスの優れた教科書である。

言語仕様は、文書The Revised⁵ Report on the Algorithmic Language Scheme（R5RSと呼ばれる）で定められる。LISP系言語はSchemeとCommon Lispを二大潮流とするが、提案された機能を原則全て導入するCommon Lispに対して、メンバーの全員一致を原則とするSchemeという特徴を持っている。

[編集] SRFI

Schemeは言語機能を必要十分の最低限まで単純化することを目指した言語である。そのため仕様書がコンパクトな反面、実用に際して各種のライブラリが乱立し、移植性が問題になっていた。そこで実装間の統一をとるため、コミュニティ内の議論を集約しているのがScheme Requests for Implementationである。SRFIではライブラリ仕様、言語拡張仕様などがインデックス化されており、SRFI準拠の実装系は「xに準拠」といった形で利用者の便宜を図ることができる。

なお、Schemeでは言語機能とライブラリ機能は分けて考えられているため、SRFIとScheme言語仕様のコミュニティは原則分離している。