类型声明是静态类型语言优点的重要组成部分吗？

Question

静态类型编程语言在编译时进行类型检查。类型声明是使它们显着更快的重要原因吗？

Answer 1

是的变量的静态声明提高了执行速度

Answer 2

静态类型语言是一种在编译时知道每个变量类型的语言。在某些语言中，如 C、C++、Java，程序员必须手动指定类型，而在其他语言中，如 Haskell 和 Scala 具有某种形式的 type inference，类型系统的推断能力变量的类型。

它会让他们更快吗？
1. 在编译时确定类型确实减少了 运行 时间的大量开销。
2. 因为类型是较早确定的，所以即使是语言中的函数/方法也被很好地定义为静态地址。在动态类型语言中，名称是基于字符串的。对于每个方法访问，都必须进行查找。其中很多，导致语言变慢。