理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- holographic microscopy
- holographic nondestructive testing
- holographic optical element
- holographic optics
- holographic plate and film
- holographic principle
- holographic printing
- holographic projection
- holographic reconstructed image observation angle
- holographic recording material
- holographic representation
- holographic RG flow
- holographic RG flow and asymptotically AdS spaces
- holographic stamping
- holographic storage
- holographic weapon sight
- holography
- holography-based analysis
- holography document microform system
- holography principle
- hologynic inheritance
- holohedral
- holohedral symmetry
- holohedrism
- holohedron