Programming Language Theory Flashcard
In computability theory terms, what are the differences between parsers and type checkers?
Books
Decklanguage theory
Question
In computability theory terms, what are the differences between parsers and type checkers?
Answer
| Phase | Constraint type | Complexity | Example checks |
|---|---|---|---|
| Parsing | Context-free | Less complex (CFG) | Balanced parentheses, syntax structure |
| Type-checking | Context-sensitive | More complex (CSG) | Variable declared before use, type compatibility |