理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- differential prior adjustment device
- differential privacy
- differential probe
- differential process
- differential protection
- differential proteomics
- differential pulse code modulation
- differential pulse code modulation, DPCM
- differential pulse code modulation，DPCM
- differential pulse polarography
- differential pulse polarography [voltammetry]
- differential pulse polarography voltammetry
- differential pulse voltammetry
- differential quotient
- differential radiometer
- differential reaction cross section
- differential reaction rate kinetic analysis
- differential reactor
- differential recurrence
- differential reddening
- differential refraction
- differential refractive index detector
- differential relation
- differential rent
- differential representation