📝Nominal subtyping establishes a partial order

Nominal subtyping (implementation inheritance) allows establishing a hierarchy, a partial order. This order is useful in ad hoc polymorphism to determine which implementation should be used.

See also

• § Multiple dispatch—Common Lisp: Multiple Dispatch relies on the hierarchy to resolve the actual method.

• Ad hoc hierarchy system—alternative model for establishing the order (hierarchy) without implementation inheritance.