📝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

Want to receive my 🖋 posts as I publish them?