Một tính năng một số ngôn ngữ lập trình đòi hỏi loại của mỗi mục dữ liệu cần được tuyên bố, ngăn cản việc áp dụng các nhà điều hành để loại dữ liệu không phù hợp, và ngăn ngừa sự tương tác của các dữ liệu tương thích loại.