Type system là gì?

Hệ thống kiểu (type system) là các quy tắc áp dụng cho các kiểu dữ liệu (data type) trong ngôn ngữ lập trình. Mọi ngôn ngữ đều hỗ trợ một số kiểu dữ liệu (nhị phân, chuỗi văn bản (text string), dấu phẩy động (floating point), v.v.) được xử lý bởi các lệnh (instruction). Kiểm tra kiểu (type checking) xác minh rằng các phép toán được thực hiện trên dữ liệu là chính xác. Ví dụ một chuỗi văn bản không thể thực hiện phép nhân . Kiểm tra kiểu tĩnh (static type checking) xem mã nguồn (source code), trong khi kiểm tra kiểu động (dynamic type checking) hoạt động trong runtime. Cả hai phương pháp đều được sử dụng để xác minh phép toán thích hợp của chương trình liên quan đến cách các lệnh hoạt động trên dữ liệu.