为什么我们需要类型