理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- Paul Demiéville
- Paul Dessau
- Paul Doktor
- Paul Dukas
- Paul Edgar Philippe Martin
- Paul Ehrlich
- Paule Marshal
- Paul-Emile Borduas
- Paul Evan Peters
- Paul Everac
- Paul Felix Lazarsfeld
- Paul Fort
- Paul Gauguin
- Paul Goldberger
- Paul Gottlieb Nipkow
- Paul Green
- Paul Greengard
- Paul-Henri Spaak
- Paul Henry Nitze
- Paul Hereford Oliver
- Paul Hermann Müller
- Paul Hervieu
- Paul Hopper
- Pauli
- Pauli algebra