Anonymous user
Type checking: Difference between revisions
We can at least have links to the feature cats
m (CT link) |
(We can at least have links to the feature cats) |
||
Line 1:
[[Category:Type System]]'''Type checking''' is another aspect of the type system of a [[programming language]].
Languages are said to use "[[:Category:Typing/Checking/Static|static]]" type checking if the types of variables in assignments and function calls are checked at [[compile time]]. In other words, when programming in a language that uses static type checking, it is possible to get a type error before your program runs.
Languages are said to use "[[:Category:Typing/Checking/Dynamic|dynamic]]" type checking if the types are checked at run time.
A language may also use a combination of static and dynamic type checking at certain times. For example, type casting sometimes requires run time type checking.
| |||