Anonymous user
Type safety: Difference between revisions
A little English and a link
(Created) |
(A little English and a link) |
||
Line 1:
[[Category:Encyclopedia]]'''Type safety''' is a property of typed [[:Category:programming Languages|programming languages]]. A language is type-safe if any improperly typed program is illegal in the sense that it may not pass the compiler.
The relation between safe typing and dynamic type checks is that when such a check
Often type safe languages provide some mechanisms to circumvent type checks. The need in such tools depends on the maturity of the types system.
|