7  Type Checking and Inference

Before code generation, we must ensure its correctness. We will build a semantic analyzer that verifies types and performs type inference to keep our HULK programs safe.

# Semantic analyzer and Type inference for HULK