Programming Language Theory Flashcard
What else can a type system catch other than low-level faults such as invoking non-existent methods
Books
Concepts
Decktype theory
Question
What else can a type system catch other than low-level faults such as invoking non-existent methods
Answer
Access control.
Arbitrary constraints.