Concept
Retrofitted type system
Books
Journey Statuslearning
A Type system added to an existing untyped language after the fact - must accommodate existing idioms and codebases rather than designing types from scratch.
A type system added to an existing untyped language after the fact - must accommodate existing idioms and codebases rather than designing types from scratch.