理学 编译系统 释 type system 类型系统 类型系统（Type System）是对编程语言中的各种成分（如数值、变量、表达式等）赋以类型属性的规则的集合。
理论计算机科学 程序理论 释文 type system 类型系统
- Jigu Library
- Ji Gu Lu
- Jigulu
- Ji Guoan
- Ji Guobiao
- Ji Guoping
- Ji-gu Sutra
- Jihadi movements in West Africa
- Ji Han
- Jihei minerogenetic province
- Jihlava
- Ji Hongchang
- Ji Hongxu
- Ji Hun
- Jijiabuzi Dao
- Jiji Press
- Jijiupian
- Jijiuzhang by Song Ke
- jiju
- Ji Junxiang
- Ji Kang
- Jikey
- Jikidou Takasaki
- Jikkin Sho/Jikkun Sho
- Jilan glazed porcelain