Static Type Checking and Inference Prev: visitor-pattern Next: dynamic-typing Prev: visitor-pattern Next: dynamic-typing