Lisp（プログラミング言語）：特徴、歴史、主要方言

主な特徴

Lisp言語には、ほかの多くのプログラミング言語群と区別される特徴がいくつかある。最も重要なのは同像性であり、プログラムとデータが同じ表現を使用するため、プログラムが自らの構造を操作できる。この設計により、マクロやコード変換の手法を通じた強力なメタプログラミングが可能になる。ほかにも、動的型付け、第一級関数、一部の方言における反復より再帰の重視、基本的なデータ構造としてのリストの広範な利用が典型的な特性である。

• S式：コードとデータの両方を表す、単純な括弧付きの記法。
• マクロ：言語の構文と能力を拡張する、コンパイル時のコード変換。
• REPL：開発中に即時のフィードバックを得るための対話的ループ。
• ガベージコレクション：現代のLispシステムの大半にある自動メモリ管理。

歴史と発展

最初のLispは、ジョン・マッカーシーによって、Fortranの登場から間もない1950年代後半に開発された。記号的AI研究の道具として始まったLispは、複数の方言と実装へと発展した。研究グループや大学は言語を拡張し、影響力のある派生系や標準を生み出した。やがて実装は性能を向上させ、モジュールシステム、オブジェクトシステム、マルチパラダイムの機能を加えることで、学術的な起源を超えてLispの適用範囲を広げた。

主要な方言と例

広く知られ、現在も利用されているLispの方言には、次のものがある。

• Common Lisp：実用的なソフトウェア開発を対象とする、大規模で標準化され、機能が豊富な方言。
• Scheme：小さな中核言語と強力な抽象化機構を重視するミニマリストな方言。詳細はSchemeを参照。
• Clojure：並行処理のために設計され、Java仮想マシン上で動作する現代的な方言。並行アプリケーションの構築や、既存プラットフォームのライブラリ活用で人気がある。
• Logo：Lispの概念から派生した教育向けの変種であり、子どもにプログラミングの考え方を紹介するために用いられる。Logoも参照。

用途、影響、注目すべき事項

AI研究で早期に採用されたことにより、Lispは記号処理と迅速なプロトタイピングに適した言語としての評価を確立した。高階関数、対話的開発、高度なマクロシステムなど、後の主流言語に見られる多くの機能は、Lispで先駆的に導入または普及したものである。とりわけマクロシステムは、開発者がLispそのものの中で新しい構文要素やドメイン固有言語を定義することを可能にする。

括弧が多すぎるという俗説はあるものの、経験を積んだLispプログラマは、その表現力と、抽象化によって言語を発展させられる能力を評価している。現代の実装は、研究、スクリプティング、ウェブ開発、ツール開発で利用されている。Lispの歴史と概念の簡潔な紹介については、Lispの一般的な資料を参照するか、マッカーシーと初期実装に関する歴史的な説明を調べることができる。

区別：Lispは、コードとデータを構文上分離する言語と対比されることが多い。同像性、マクロ機能、対話的なワークフローは、現在もLispを最も際立たせ、長く受け継がれてきた性質である。