|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ プログラミング : [ぷろぐらみんぐ] 【名詞】 1. programming 2. programing, (n) programming/programing ・ 言 : [げん] 【名詞】 1. word 2. remark 3. statement ・ 語 : [ご] 1. (n,n-suf) language 2. word
(スキーム)は構文スコープを持つ の方言の一つである〔 は構文スコープを持つ初めての 方言である。〕。 系統の言語としては と並んで現在でもよく使われている。 言語仕様の小ささとその出自からプログラミングの教育分野でもよく使われている。 ==概要== は、マサチューセッツ工科大学の人工知能研究所においてカール・ヒューイットの設計したアクタ言語 (Planner-73) の動作を理解するために、アロンゾ・チャーチのλ計算を基盤に持つ 方言として、カール・ヒューイットの学生であったジェラルド・ジェイ・サスマンとガイ・スティール・ジュニアによって1975年頃に設計された。 アクタを言語に導入するにあたって採用された 60 由来の構文スコープは、状態を持つデータであるアクタ(クロージャ)の実現以外にも、 lambda 構文を用いたλ計算や末尾再帰の最適化に不可欠な機構であった。また、プログラムの制御理論から当時出てきた継続及びアクタ理論におけるアクタへのメッセージ渡しの概念から触発された継続渡し形式〔、CPS〕〔継続渡し形式は一連のλ論文において導入された。ただし、体系として確立されてはいないものの、同様の手法は「」にもみられる。〕と呼ばれるプログラミング手法は以後の継続の研究に大きな影響を与えた。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Scheme」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Scheme (programming language) 」があります。 スポンサード リンク
|