ประโยคภาษาจีน : 中文句子 |
---|
chú le 除了 zǐ 子 lèi xíng 类型 wài 外 hái 还 kě yǐ 可以 dìng yì 定义 děng jià 等价 de 的 lèi xíng 类型 zhè yàng 这样 yí gè 一个 lèi xíng 类型 de 的 zhí 值 kě yǐ 可以 yòng 用 lìng 另 yí gè 一个 lèi xíng 类型 dài tì 代替 |
Besides subtyping, it is possible to define equivalence types such that the value of one type can be replaced by another type. |