Statically typed language là gì?

Statically typed language là một ngôn ngữ (chẳng hạn như Java, C hoặc C ++) trong đó các kiểu dữ liệu (type) của biến (variable) được biết đến tại thời điểm biên dịch (compile time). Trong hầu hết các ngôn ngữ này, các kiểu dữ liệu phải được người lập trình chỉ ra rõ ràng, trong các trường hợp khác (chẳng hạn như OCaml), suy luận kiểu (type inference) cho phép lập trình viên không chỉ ra kiểu dữ liệu biến của họ. Ví dụ code bên dưới trong ngôn ngữ C chúng ta khai báo các biến và kiểu dữ liệu của biến:

int num = 109;
float flo = 12.99;

Đối lập với statically typed language là dynamically typed language, trong đó chúng ta không cần định nghĩa kiểu dữ liệu của biến (variable). Ví dụ như code bên dưới trong Python chúng ta khai báo biến mà không cần định nghĩa kiểu dữ liệu:

n = 300