Programming Language Theory Flashcard
According to computability theory, why do we split type checkers from parsers?
Books
Deckcompiler implementation
Question
According to computability theory, why do we split type checkers from parsers?
Answer
Parser: Easy context-free grammar handling. Efficient & Decidable algorithms exist.
Type checker: Context-sensitive. Can be inefficient or decidable.