理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- lattice gas model
- lattice gauge
- lattice gauge theory
- lattice graph
- lattice graph isomorphism theorem
- lattice Green's function
- lattice group
- lattice heat capacity
- lattice heterogeneity
- lattice hole model
- lattice homomorphic group
- lattice homomorphism
- lattice identity
- lattice image
- lattice impurity
- lattice in a quadratic space
- lattice instability
- lattice interplanar spacing
- lattice invariant
- lattice inversion method) Chen-Möbius
- lattice irregularity
- lattice isomorphic algebras
- lattice isomorphism
- lattice kissing number
- lattice ladder