Type safety là gì?

2023-07-30 01:24:50 578 Lượt xem 20 Lượt thích

Noun Programming

An toàn kiểu

An toàn kiểu (type safety) là mức độ mà một ngôn ngữ lập trình ngăn ngừa lỗi kiểu (type error). Lỗi kiểu là hành vi chương trình sai hoặc không mong muốn gây ra bởi sự khác biệt giữa các kiểu dữ liệu khác nhau cho hằng số, biến và phương thức (hàm) của chương trình. Ví dụ: coi một số nguyên (int) là một số dấu phẩy động (float).