Semantic Analysis

Goals

• name resolution
• scope rules
• const rules
• return placement
• function arity

Scopes

• stack of maps
• inner shadows outer

Errors

• short, explicit messages

Dynamic types

• no static type checks