===== Type Safety =====
[[ddsf:public:guidebook:06_append:glossary:start| Return to Glossary ]]

**Type Safety** is the extent to which a [[ddsf:public:guidebook:06_append:glossary:p:programlang|programming language]] discourages or prevents type errors. A type error is erroneous or undesirable program behavior caused by a discrepancy between differing data types for the program's constants, variables, and methods (functions), e.g., treating an integer (int) as a floating-point number (float). Type safety is sometimes alternatively considered to be a property of a computer program rather than the language in which that program is written; that is, some languages have type-safe facilities that can be circumvented by programmers who adopt practices that exhibit poor type safety. The formal type-theoretic definition of type safety is considerably stronger than what is understood by most programmers. 

Source: [[https://en.wikipedia.org/wiki/Type_safety#Type-safe_and_type-unsafe_languages | Type Safety ]]