记录类型在字段访问时提供精确检查，拼错字段名或赋错类型都会在编译期报错；开放的记录还允许通过 & 与其他记录合并、用 ... 放宽额外字段。