Type checking: Difference between revisions
Content added Content deleted
(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: | Line 1: | ||
[[Category:Type System]]'''Type checking''' is another aspect of the type system of a [[programming language]]. |
[[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 "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. |
Languages are said to use "dynamic" type checking if the types are checked at run time. |