理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- Deutsches Nationaltheater
- Deutsches Theatre（Berlin）
- Deutsch Jozsa algorithm
- Deutsch-Jozsa algorithm
- Deutsch-Jozsa算法
- Deutsch-Spanisches Astronomisches Zentrum
- Deva
- Devana Chasma
- Devaney chaos
- devanāgarī
- devascularation
- de Vaucouleurs classification
- de Vaucouleurs' law
- de Vaucouleurs radius
- de Vaucouleurs-Sandage classification
- Develey
- developable
- developable function
- developable space
- developable surface
- developable topological space
- developed cavitation
- developed ore reserve
- developer
- developers