Programming Language Theory Flashcard
What is an example for the tradeoffs between the type system
Books
Decklanguage theory
Question
What is an example for the tradeoffs between the type system's expressiveness & decidability?
Answer
Refined type: Allow the programmers to encode non-zeroness into the the type.
-> Typechecking becomes undecidable.