type system

The 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.

单词	type system
释义	DictionarySeedata type type system type system The 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.
随便看	shared file access shared file synchronization block shared for read shared frame-buffer interface shared global area shared governance shared health research information network shared histories of exhibitions database shared hospital electronic library of southern indiana shared interworking function share dividend shared library shared library interposer shared load shared lock shared logic shared-logic cluster word processor shared mailbox shared management knowledge shared many-to-many atm reservations shared marketing services, inc shared media lan shared medical appointment shared medical systems corporation shared memory