2 ms·
The essay uses a class-oriented type system (they're clearly a .net developer), but the same ideas very much exist in non-OO type systems. And the richest and
by masklinn 4y ago
The essay uses a class-oriented type system (they're clearly a .net developer), but the same ideas very much exist in non-OO type systems.
And the richest and most expressive type systems are arguably specifically non-OO. Nor are OO languages necessarily statically typed (Smalltalk, Self, Python, Ruby, Javascript, ...)