Definition of "type-safe" []

• Not susceptible to the class of programming errors that could lead to items of one data type being incorrectly treated as another type. (adjective)

Wiktionary.org : Text is available under the Creative Commons Attribution-ShareAlike License

• "Now I've got readable code for type-safe iteration over the collection which isn't coupled to the kind implementation of the collection."
• "With these so-called "type-safe" languages, attempting to copy 16 characters of data into a region of memory that can only hold nine might result in having the second region extended, or it might generate a runtime error , but it would never clobber the next item in the computer's memory."
• "Scala is a general purpose programming language designed to express common programming patterns in a concise, elegant, and type-safe way."