类型与变迁