Adjective
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.
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. Bjarne Stroustrup
As opposed to macros, templates are considered type-safe ; that is, they require type-checking at compile time. Source: Internet
It was the first language to offer type-safe bounded parameterized types, using structure where clauses to express constraints on actual type arguments. Source: Internet
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. Source: Internet
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. Source: Internet
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. Source: Internet