[seanmcdirmid]

There are also static type systems that support dynamic inheritance (eg the one designed for Cecil) where the type of a value can change over time.