类型 & 值

类型只是数据

对象 & 记录

数组 & 元组

条件类型