单词 | type system |
释义 | type systemtype systemThe rules that apply to the data types in a programming language. Every language supports some number of data types (binary, text string, floating point, etc.) that are processed by the instructions. Type checking verifies that the operations performed on the data are correct; for example, a text string cannot be multiplied. Static type checking looks at the source code, while dynamic type checking works at runtime. Both methods are used to verify the proper operation of the program with regard to how instructions operate on the data. See data type and polymorphic typing. |
随便看 |
|
英语词典包含2567994条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。