理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- Frobenius form
- Frobenius formula
- Frobenius group
- Frobenius homomorphism
- Frobenius induction
- Frobenius integrability condition
- Frobenius kernel
- Frobenius-K⍥nigs theorem
- Frobenius mapping
- Frobenius matrix
- Frobenius matrix norm
- Frobenius method
- Frobenius morphism
- Frobenius norm
- Frobenius number
- Frobenius-Perron equation
- Frobenius postage stamp problem
- Frobenius problem
- Frobenius pseudoprime
- Frobenius reciprocity formula
- Frobenius reciprocity theorem
- Frobenius ring
- Frobenius-Schur classification
- Frobenius-Schur index
- Frobenius-Schur theorem