Homework Assignments Week 1.6: Type Checking
Write a short discussion on the following questions:
- What are types?
- Where do they play a role in the compiler?
- How do types related to earlier and later steps in the compiler pipeline?
- What is the importance of a rich – more expressive – type system?
Type Checking with Constraints
Explain the main aspects of type checking with constraints. Discuss how the different parts of your answer are related to the object language the checker is for.
Verify your answers with the model answers.