Mỗi biến (variable) có một kiểu cố định liên kết với nó. Kiểu của biến được kiểm tra lúc compiled-time và trình biên dịch yêu cầu ta phải khai báo rõ kiểu của biến trước khi sử dụng.
Ví dụ:
int a; // the type of a is integer
a = 3; // OK, assign 3 to a
a = "Hello"; // Error, cannot assign string value to int Các ngôn ngữ Static Typing: C/C++, Java