type-safeWiktionary 原文释义（英文）形容词 Adjective(programming) Not susceptible to the class of programming errors that could lead to items of one data type being incorrectly treated as another type.