Định kiểu tĩnh

Ngôn ngữ kiểu tĩnh (statically-typed) là ngôn ngữ (như Java, C, hay C++) mà kiểu của biến được biết tại thời điểm biên dịch. Trong hầu hết các ngôn ngữ này, kiểu phải được lập trình viên chỉ định rõ ràng; trong một số trường hợp khác (như OCaml), suy luận kiểu cho phép lập trình viên không cần khai báo kiểu biến.