理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- non-collinear
- non-collinear kernel correction
- noncollinear phase matching
- non commensurable
- non-commensurable
- noncommensurable
- non commercial advertisement
- non-communicable chronic diseases
- noncommunicable diseases epidemiology
- noncommutabililty
- noncommutability
- non-commutative
- noncommutative
- noncommutative algebra
- noncommutative algebraic geometry
- noncommutative diagram
- noncommutative differential geometry
- noncommutative differential topology
- noncommutative domain
- noncommutative dynamical system
- noncommutative ergodic theory
- noncommutative field
- noncommutative function space
- noncommutative geometry
- noncommutative global analysis