/2020/01/06/discovery-based-networks-of-perspectives-and-changes

type theories: https://en.wikipedia.org/wiki/Type_theory type safety dynamic type checking static type checking inferred versus manifest nominal versus structural dependent typing linear types intersection type union type existential types duck typing gradual typing flow-sensitive typing latent typing substructural typing uniqueness typing strong and weak typing primitive types reference types option types versus nullable types'nullable types maybe allows some composite types versus abstract data types algebraic data types subtype derived type object types e.g. type variable partial types recursive type function types e.g. binary functions universially quantified types e.g. modules refinement types = types that describe or constrain the structure of object-oriented systems Pre-defined types ownership types

See Haskell.

dynamic dispatch of methods on this

static dispatch and early binding of this