Compiler Construction bio photo

Compiler Construction

Twitter Github

Edit on GitHub

Homework Assignments Week 1.6: Type Checking

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.