Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- adjective computing Not
susceptible to the class of programmingerrors that could lead to items of onedata type being incorrectly treated as another type.
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word type-safe.
Examples
-
Now I've got readable code for type-safe iteration over the collection which isn't coupled to the kind implementation of the collection.
Static Typing & Bureaucracy Redux Neal Ford 2007
-
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.
-
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.
CNET News.com 2011
-
Supporting scores of developers, and steep testing and scaling requirements for the web, Guice proves that there is still ample room for a simple, type-safe and dynamic programming model in Java.
-
Supporting scores of developers, and steep testing and scaling requirements for the web, Guice proves that there is still ample room for a simple, type-safe and dynamic programming model in Java.
-
This includes using strings for IDs and method names to connect markup with code behind untyped form values, overly complex form construction, etc., and provides type-safe and robust alternatives such as formlets or flowlets.
DevX: Latest Published Articles Mike Rohde 2010
-
Unfortunately, I haven't come up with a type-safe approach to this yet, so we'll just have a count function for the moment.
Planet Haskell 2010
-
WebSharper web applications are dramatically shorter and are considered type-safe.
DevX: Latest Published Articles Mike Rohde 2010
-
Writing in type-safe F# allows you to write a fraction of the code you would normally write in JavaScript, which is known as an untyped language.
DevX: Latest Published Articles Mike Rohde 2010
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.