仓颉语言类型系统 Skill

1. 类型系统概述

• 仓颉是静态类型语言，支持子类型多态
• 若参数/变量/返回类型为 T，可接受 T 的任何子类型
• 仓颉不支持不同类型之间的隐式转换（子类型到父类型不被视为"转换"）

2. 子类型关系

2.1 子类型关系来源