Static typing là gì?

Static typing là một thuộc tính của ngôn ngữ lâp trình, trong static typing, kiểm tra kiểu (type checking) được thực hiện trong thời gian biên dịch (compile time). Nó có nghĩa là kiểu dữ liệu (data type) của một biến (biến) đã được biết tại thời điểm biên dịch. Đối với một số ngôn ngữ, lập trình viên phải chỉ định kiểu dữ liệu mỗi biến là gì ví dụ như C, C ++, Java, các ngôn ngữ khác cung cấp một số dạng suy luận kiểu (type inference) ví dụ như Scala, Haskell. Đối với static typing, các biến thường không được phép thay đổi kiểu dữ liệu. Xem thêm dynamic typing.