理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- solid fat index
- solid figure
- solid fluid arc extinguishing circuit breaker
- solid fluorescence analysis
- solid foam
- solid fuel
- solid gas
- solid-gas interface
- solid gas; solid mashgas
- solid gas type load switch
- solid gel
- solid geometry
- solid geoscience data assimilation
- solid geoscience data mining
- solid guide
- solid harmonic
- solid harmonic funcfion
- solid helium phase diagram
- solidification
- solidification and stabilization of fly ash
- solidification curve
- solidification defect
- solidification heat
- solidification interval
- solidification of metal and alloy