尤其是在一个先进的型别系统的帮助下,能够让我们发现更多的错误,both the silly and profound ones。