Anonymous user
Type checking: Difference between revisions
m
CT link
(New page: Category:Type System'''Type checking''' is another aspect of the type system of a programming language. Languages are said to use "static" type checking if the types of variables ...) |
m (CT link) |
||
Line 1:
[[Category:Type System]]'''Type checking''' is another aspect of the type system of a [[programming language]].
Languages are said to use "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 "dynamic" type checking if the types are checked at run time.
| |||