As expressions get more complicated the need to reduce the verbosity of type specification gets more compelling.

当表达式变得更加复杂，减轻类型说明的冗长的要求变得更加迫切。