值与类型