热抽象与冷抽象