타이핑

타이핑 과정은 추상 문법 트리에서 어떤 이름이 정확히 어떤 실체를 가리키는지를 결정하고, 타입 정보를 유추하거나 결정한다.