Programming Language Theory Flashcard

What are type systems good for?

Books

Decktype theory

Question

What are type systems good for?

Answer

Living documentation.
Maintenance tool.
Debugging tool.
Performance.
Abstraction.