类型与应用