出典:Wikipedia
●注意
お探しになった「Type Checking」は、Weblio英和辞典にはまだ収録されていませんが、「Type Checking」に近い「Type system」について、『ウィキペディア英語版』からの引用を下記に表示しています。
出典:『Wikipedia』 (2011/07/09 22:00 UTC 版)
In computer science, a type system may be defined as "a tractable syntactic framework for classifying phrases according to the kinds of values they compute". A type system associates types with each computed value. By examining the flow of these values, a type system attempts to prove that no type errors can occur. The type system in question determines what constitutes a type error, but a type system generally seeks to guarantee that operations expecting a certain kind of value are not used with values for which that operation does not make sense.