Static type checking is the process of verifying the type safety of a program based on analysis of a program's text (source code).
Kiểm tra kiểu tĩnh (static type checking) là quá trình xác minh an toàn kiểu của một chương trình dựa vào sự phân tích văn bản (mã nguồn) của chương trình.