理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- decoupling limit
- decoupling of a system
- decoupling parameter
- decoupling transition
- decoy
- decoy jamming
- decoy jamming deflection technology
- decoy nucleic acid
- decoy state
- decreasing
- decreasing failure rate
- decreasing filtration
- decreasing function
- Decreasing Law of New Vocabulary Growth
- decreasing marginalbenefit of forestland
- decreasing operator
- decreasing progression
- decreasing rate
- decreasing relation
- decreasing sequence
- decreasing series
- decreasing set
- decree
- Decree in Farmland of the Southern Song Dynasty
- Decree of the State Council of the People's Republic of China