If you want a language with static type-checking, you really need to design it in from the start: It drastically affects the design of the language.

• 如果想要具有静态类型检查的语言,那么的确需要从一开始就把它设计到语言中:它极大地影响着语言的设计。