类型、值与变量 | 自在学