LISP
Lispkit LISP - 純粋な関数型言語としての方言であり、SECDマシン上に実装された。関数型言語のコンセプトの実験用テストベッドとして使用された。
MACLisp - MITのプロジェクトMAC(AppleのMacintoshとは無関係)のために開発されたLISPの直系子孫。
MockLisp - Gosling Emacs (Unipress Emacs) エディタの拡張言語。リストのないLISP。
Oak LISP - Schemeベースのオブジェクト指向言語。
RPL - 「Reverse Polish LISP」(逆ポーランド記法式LISP)の名を冠した言語。逆ポーランド記法・スタック指向を採用するなど、Forthの影響も大きい。ヒューレット・パッカード社製の関数電卓に組み込まれることを想定して開発された。
Scheme - ダイナミックスコープではなく静的スコープにもとづき再設計されたLISP。
SKILL - ケイデンス・デザイン・システムズ社製の多くのEDA製品で使われる。
ZetaLisp - LISPマシンのために使われた、MACLISPの直系子孫。
純LISP - 超循環評価機を記述可能な程度で、ごく小さいサブセットに機能を絞った方言。元々は「最初の論文」と呼ばれている論文中で理論的なものとして示されたが、実際に実装可能である。
xyzzy - Microsoft Windowsで動くエディタ。マクロ言語としてxyzzy Lispを実装している。
「LISP は 『lots of irritating superfluous parentheses』(過剰でいらいらさせる大量の括弧)に由来する」というジョークもある。しかし、S式による構文はLISPの能力を生み出してもいる。この構文は極めて正規化されているので、コンピュータによる操作が容易に行える。
式への依存が、LISPに優れた柔軟性を与えている。LISPの関数は、それ自身がリストとして書かれており、データとまったく同様に扱うことができる。LISPのプログラムは他のLISPプログラムを処理するように書くことができる。これは、メタプログラミングと呼ばれる。多くの LISP方言はこの機能をマクロシステムで活用しており、言語自身の機能をほとんど際限なく拡張することを可能にしている。
LISPでのリストは空白と括弧で区切られた要素で記述される。たとえば、
は1, 2, "foo"の値を要素として持つ1つのリストである。これらの値は暗黙の型を持つ。これらは2つの整数と1つの文字列であるが、そのように宣言されている必要はない。空のリスト()はnilとも書ける。