Lispのオブジェクト型は階層構造になっており、ある型が他の型を継承することができます。型B(型Aを継承)のオブジェクトは、型Aのすべての特性を継承します。これはまた、型Bのあらゆるオブジェクトが、同時にその継承元である型Aのオブジェクトでもあることを意味します。
すべての型は型 t から派生している。
新しい型は、defclass または cl-defstruct を用いてユーザーが定義できます。
プリミティブ型のLisp型階層は、次のように表現できる。
For example type list derives from (is a special
kind of) type sequence which itself derives from
t.