理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- non-metallic ultrasonic test instrument
- nonmetal-lined equipment
- non-metallurgical alumina
- non-metal pipeline
- non-methane hydrocarbon
- non-methane hydrocarbons
- non-methane organic compounds
- non-metrical traits
- non-metric camera
- non-metric distance
- non-metric theories
- non-metrizable space
- non-military zone access control
- non-minimal
- non-minimality
- non-minimum phase
- non-modular representation
- non-molding forming technology for ceramics
- nonmonochromatic field
- non-monochromaticity
- nonmonochromatic light
- nonmonochromatic wave
- non-monotone
- non-monotone line search
- nonmonotone line search