基礎文法

型安全性

概要

データ型に反する操作をコンパイル時または実行時に検出し、意図しない不具合を防ぐ性質。

Type Safetyと呼ばれる。文字列を数値として扱おうとするような誤りを早期に検出できるため、静的型付け言語は一般に型安全性が高いとされる。ただし動的型付け言語でも、型チェックの仕組み(TypeScript等)を追加することで型安全性を高められる。