理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- reconciling intestine and stomach
- reconciling shaoyang
- reconciling superficies and interior
- recondenser
- reconfigurable antenna
- reconfigurable flight control
- reconfigurable manufacturing execution system
- reconfigurable mechanism
- reconfigurable multi-processors
- reconfigurable optical add-drop multiplexer，ROADM
- reconfigurable production line
- reconfigurable system
- reconfiguration
- reconnaissance
- Reconnaissance across the Yangtze
- reconnaissance and detection of biological agents
- reconnaissance satellite
- reconnaissance warhead
- reconnection
- reconnection of magnetic field lines
- reconnection of magnetic field lines, magnetic reconnection
- Reconquista
- RECONS
- reconstituted decorative veneer
- reconstitution experiment of tobacco mosaic virus