add.C++是一种静态类型（statically typed）语言，就是在编译阶段检查类型。因为不同的类型决定了不同的运算方式和操作，不指定类型就编译器就无法判断实体的类型。
基于6个网页-相关网页
BoatHaskell is statically typed.
haskell是静态类型的。
Haskell is statically typed, so once you assign a variable to a value, the variable always holds the same type.
Haskell是静态类型化的，所以一旦给变量分配了值，那么变量就会一直维持相同的类型。
Scala is statically typed which allows it to provide generic classes, inner classes and even polymorphic methods.
Scala是静态类型的，这就允许它提供泛型类、内部类、甚至多态方法（Polymorphic Method）。
应用推荐