Common Lisp
Common Lispの型システムは階層的である。型はdeftypeを用いて定義され、typeはsupertype,subtypeという概念を持つ。すべての type は supertype として t (他の言語におけるtrueやObject)をもつ。従って、全てのオブジェクトは型tのインスタンスである。一方、型nilは、どのオブジェクトもそのインスタンスにならない型である。
型にはbuilt-inな型とそうでないものがある。built-inな型は、整数、浮動小数、複素数、文字等といった(他の言語で言う)プリミティブな型に、配列やストリームなど組み込みの型を合わせたものである。built-inでない型には、構造体、クラスなどがある。このように、型システムはクラスおよびオブジェクトシステムと連続的に融合されている。
シンボル型は LISP 言語にとっては普通だが、その他の言語ではあまり知られていない型である。シンボルとはユニークで、いくつかのスロットを備えた名付きのデータオブジェクトである。シンボルの備えるスロットのなかでは値セルと関数セルが最も重要なものである。シンボルは、変数の値を保持するための、他の言語でいう識別子として使われる事が多いが、それ以外の用法が多数存在する。通常、シンボルを評価するとその値が返る。いくつかのシンボルは評価するとそのシンボル自身が返る。例えば、キーワードパッケージ中のシンボルはすべて自己評価シンボルである。Common Lisp における真偽値は、自己評価シンボル t と nil によって表現される。Common Lisp はパッケージと呼ばれるシンボルのための名前空間を備えている。
代数的数式処理エキスパートシステム。GPL で公開されており、自由に入手することができる。微分方程式や不定積分のように解が式であるものは、人間が解くのと同じように、式の形で解を返すことができる。Richard Fateman教授によって作成されたMacsymaの、Common Lisp 上の再実装である。
Common Lispにおけるアトムとは、誤解を恐れず簡単に言うとlispにおいて「括弧によって囲まれないアトム」すべてを指す。数値はアトムである。シンボル、文字列、文字もアトムである。ANSI CLでは、Compound type (not cons) として定義されている。
Scineneer(サイエニア)による処理系。
イズウェア社の製品で、統合された 2D/3D コンピュータグラフィックス作成環境である。ポリゴンモデラー、先進的な IK/FK ノンリニアアニメーションシステム、2D/3D ペインティングなどを備えていた。動画やビデオゲーム、軍事シミュレーションの世界では有名である。
defgenericマクロは、総称関数(ジェネリック関数)を定義する。defmethodマクロはメソッドを定義する。総称関数はメソッドの集合である。メソッドはそのパラメータとして渡されたクラスやオブジェクトによって特定化される。総称関数が呼び出されると、マルチメソッドディスパッチ(多重メソッドディスパッチ)により、実際に使用されるメソッドが決定される。
総称関数もファーストクラスのデータ型である。 総称関数やメソッドには上に記載したよりも、もっと豊富な機能が存在する。
x86 アーキテクチャ用の処理系であり、オペレーティングシステムに依存しない。