type-safe
Adjective
Meaning
type-safe (comparative more type-safe, superlative most type-safe)
(programming) Not susceptible to the class of programming errors that could lead to items of one data type being incorrectly treated as another type.
Narrow performs a type-safe conversion into an instance of a subclass.
Examples
It is easy to study the rules of overloading and of templates without noticing that together they are one of the keys to elegant and efficient type-safe containers.
As opposed to macros, templates are considered type-safe ; that is, they require type-checking at compile time.
It was the first language to offer type-safe bounded parameterized types, using structure where clauses to express constraints on actual type arguments.
It derives from the DataSet base type and provides type-safe access to each column in each row via the authorsRow nested type and the authors property on the filled AuthorsDataSet.
Because the language did not have type-safe checks to verify full coverage for signal handling, uncaught exceptions were a common cause of bugs in released software.
Our collaboration with has resulted in gradle-script-kotlin which means that you can now write type-safe build scripts for Gradle, using Kotlin scripting.