Lispを異ならせたもの

![](https://s.turbifycdn.com/aah/paulgraham/bel-7.gif) ![](https://sep.turbifycdn.com/ca/Img/trans_1x1.gif) ![](https://s.turbifycdn.com/aah/paulgraham/bel-8.gif) ![](https://s.turbifycdn.com/aah/paulgraham/what-made-lisp-different-3.gif) 2001年12月 (2002年5月改訂) (この記事は、LL1メーリングリストでのいくつかの質問に応えて書かれたものです。現在は『Revenge of the Nerds』に組み込まれています。) 1950年代後半にマッカーシーがLispを設計したとき、それは既存の言語（最も重要なのはFortranでした）からの急進的な脱却でした。Lispは九つの新しいアイデアを体現していました: 1. 条件分岐。条件分岐はif-then-else構文です。今では当たり前のものと見なされていますが、これはマッカーシーがLispを開発する過程で発明したものです。(当時のFortranには、基本的なハードウェアの分岐命令に密接に基づいた条件付きgotoしかありませんでした。) アルゴル委員会のメンバーでもあったマッカーシーは、条件分岐をアルゴルに導入し、そこからほとんどの他の言語に広まりました。 2. 関数型。Lispでは、関数は第一級オブジェクトです。つまり、整数や文字列などと同様のデータ型であり、リテラル表現を持ち、変数に格納でき、引数として渡すことができます。 3. 再帰。もちろん再帰はLisp以前から数学的概念として存在していましたが、Lispはそれをサポートした最初のプログラミング言語でした。(これは、関数を第一級オブジェクトにすることに暗黙的に含まれていると言えるかもしれません。) 4. 変数の新しい概念。Lispでは、すべての変数は実質的にポインタです。型を持つのは値であって変数ではなく、変数の代入や束縛は、指し示す対象ではなくポインタをコピーすることを意味します。 5. ガベージコレクション。 6. 式で構成されるプログラム。Lispのプログラムは式の木構造であり、各式は値を返します。(一部のLispでは、式が複数の値を返すこともあります。) これは、式と文を区別するFortranとその後継言語のほとんどとは対照的です。この区別がFortranに存在したのは自然なことでした。なぜなら、(入力形式がパンチカードであった言語に当然のことながら) その言語は行指向だったからです。文をネストすることはできませんでした。したがって、数学を機能させるためには式が必要でしたが、他の何かに値を返させる意味はありませんでした。なぜなら、それを待つものは何もあり得なかったからです。この制限はブロック構造言語の登場でなくなりましたが、その時にはすでに手遅れでした。式と文の区別は定着していたのです。それはFortranからアルゴルへ、そして両方の子孫言語へと広まりました。言語が完全に式で構成されている場合、どのようにでも式を組み合わせることができます。(Arcの構文を使って) 次のどちらでも書けます: (if foo (= x 1) (= x 2)) または (= x (if foo 1 2)) 7. シンボル型。シンボルは文字列とは異なり、ポインタを比較することで等価性をテストできます。 8. シンボルの木構造を用いたコードの記法。 9. 言語全体が常に利用可能。読み込み時、コンパイル時、実行時の間に本質的な区別はありません。読み込み中にコードをコンパイルまたは実行でき、コンパイル中にコードを読み込みまたは実行でき、実行時にコードを読み込みまたはコンパイルできます。読み込み時にコードを実行することで、ユーザーはLispの構文を再プログラムできます。コンパイル時にコードを実行することはマクロの基礎です。実行時にコンパイルすることは、Emacsのようなプログラムで拡張言語としてLispを使用する基礎です。そして実行時に読み込むことで、プログラムはs式を使って通信できます。このアイデアは最近、XMLとして再発明されました。 Lispが最初に発明されたとき、これらすべてのアイデアは、1950年代後半に利用可能なハードウェアによって大きく支配されていた通常のプログラミング手法からは程遠いものでした。時が経つにつれて、一連の人気言語に体現されたデフォルトの言語は、徐々にLispに向かって進化してきました。 1-5は現在広く普及しています。 6は主流になりつつあります。Pythonには7の形式がありますが、それ用の構文はないようです。 8は(9とともに)Lispマクロを可能にするものですが、これまでLispにほぼ固有のままです。おそらくその理由は、(a) あのかっこ、あるいはそれと同等に悪い何かが必要であり、(b) もしその最後の力の増分を追加したなら、もはや新しい言語を発明したと主張することはできず、Lispの新しい方言を設計しただけだと言わざるを得なくなるからでしょう ;-) 現在のプログラマにとっては有用ですが、Lispを他の言語が採用した場当たり的な手段からの変異という観点で説明するのは奇妙なことです。それはおそらく、マッカーシーが考えていたことではないでしょう。LispはFortranの間違いを修正するために設計されたのではなく、計算を公理化しようとする試みの副産物として生まれたのです。 ![](https://sep.turbifycdn.com/ca/Img/trans_1x1.gif) ![](https://s.turbifycdn.com/aah/paulgraham/japanese-translation-1.gif) ![](https://sep.turbifycdn.com/ca/Img/trans_1x1.gif) 日本語訳 ![](https://sep.turbifycdn.com/ca/Img/trans_1x1.gif) ![](https://sep.turbifycdn.com/ca/Img/trans_1x1.gif)

Lispを異ならせたもの

背景や根拠まで確認しますか？

このニュースを、実務の判断につなげる

調べる

選ぶ

サイト