型安全

型安全

(type safe)

実行時に型整合エラーが発生しないような言語の性質.