编程语言 - 类型系统

• 类型安全：强 / 弱
• 类型表达式：显式 / 隐式
• 类型检查：静态 / 动态
• 类型兼容性和相等：结构 / 名称（根据是否具有相同的结构判断是否相等 / 根据声明的类型名称是否相等确定是否相等）