字母汤:在编译时进行类型计算