← 🏠 Trang chính / Compilers

Tier 2 — Semantics & Interpretation

Hiểu nghĩa cây & chạy nó: AST/visitor, scope, kiểu, interpreter, hàm & closure.

Tier này dạy gì?

AST & Visitor: thiết kế node + duyệt cây tái dùng cho mọi pass.
Symbol table & Scope: tên trỏ tới gì, lexical scope, shadowing.
Type checking: bắt lỗi kiểu trước khi chạy, static vs dynamic.
Tree-walking interpreter: ngôn ngữ đồ chơi CHẠY ĐƯỢC (gán, if, while).
Functions & Closures: call stack, đệ quy, closure — Turing-complete.

Cần Tier 1 — Front-end trước. Dẫn sang Tier 3 — Back-end.

Lộ trình 5 bài

Lesson 06

AST vs parse tree, thiết kế node, duyệt pre/in/post-order, visitor pattern (eval/print/typecheck).

▶ Visualization

Lesson 07

Symbol Table & Scope

Bảng ký hiệu (hash map), global/local/block, lexical vs dynamic, scope chain, shadowing.

▶ Visualization

Lesson 08

Hệ thống kiểu, static vs dynamic, type rules & inference bottom-up, coercion, type error.

▶ Visualization

Lesson 09

Tree-Walking Interpreter

eval(node, env), statement vs expression, if/while, runtime error — ngôn ngữ đồ chơi chạy được.

▶ Visualization

Lesson 10

Functions & Closures

Gọi hàm & environment mới, call stack & đệ quy, closure (captured env), loop variable bug.

▶ Visualization