Type checking là gì?

Phrase Programming
Kiểm tra kiểu

Kiểm tra kiểu (type checking) nghĩa là kiểm tra xem mỗi phép toán có nhận được số lượng đối số thích hợp và kiểu dữ liệu (data type) thích hợp hay không. Có hai loại kiểm tra kiểu là kiểm tra kiểu tĩnh (static type checking) và kiểm tra kiểu động (dynamic type checking).

Learning English Everyday