Programming Language Theory Flashcard
What are some challenges of retrofitting type systems?
Books
Concepts
Deckcompiler implementation
Question
What are some challenges of retrofitting type systems?
Answer
Languages that are previously untyped:
Encourage patterns that are type-unsound/hard-to-precisely-typed.
Untypable patterns:
eval.How to coexist with untyped code.