理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- JoSS
- Jostedalsbreen
- Jost mechanism
- José Antonio Muñoz Rojas
- José Asunción Silva
- José Carlos Mariátegui
- José de Echegaray y Eizaguirre
- José de la Cuadra
- José de Ribera
- José Diez Canseco
- José Enrique Rodó
- José Eusebio Caro
- José Eustasio Rivera
- José Jacinto Milanés y Fuentes
- José Joaquín Olmedo
- José Lezama Lima
- José Limón
- José Martí
- José María Arguedas
- José María de Heredia
- José María Eguren
- José Miguel Ramos Arizpe
- José Ortega y Gasset
- José Rafael Moneo Vallés
- José Santos Chocano