x 可以是数字，把数字翻倍。x 可以是 string，把两个 string 连在一起。

动态类型中一个 list 里可以有不同的类型的数据，在循环遍历时会，能重用更多代码。

静态类型更好：静态类型也有代码重用的很多方法，比如泛型，子类型等等。而且一个 list 只有一种类型的数据，可以避免一些难找的bug，也可以避免因为类型自由而滥用一些库。

原型开发 Prototyping

动态类型更好：动态类型更适合原型开发，因为在 Prototyping 时，不一定知道确切的数据结构和函数，类型上的自由可以不用在做原型时就确定数据结构，导致了要一直不断的去满足类型的检查，降低了原型开发的效率。

静态类型更好：虽然效率上不一定比的上动态类型，静态类型能更好的记录整个系统在 Prototyping 的过程中，可以知道整个过程数据类型、数据结构是怎么变化的。如果是跟之前完全不相关的代码，可以直接重写，不需要在之前的做更改。在之前代码不确定的地方，可以用一些表示所有其他类型的方法，比如| _ => raise Unimplemented。

再开发和维护 Evolution & Maintaince

动态类型更好：在更改代码时，可以把代码能接受的变得更"宽"，比如说修改函数返回类型，调用的代码如果对返回类型没有问题，可以不用更改。静态类型必须要更改所有调用的代码，不能进行局部的测试。

静态类型更好：动态类型的不用更改旧代码是一个隐患，坊间流传动态类型是「写时一时爽，重构火葬场」，静态类型的类型检查会列出所有需要更改的地方，可以避免一些隐藏的bug。

总结

经过这些对比，可以看出静态类型和动态类型各有所长，不能简单粗暴的说一种比另外一种更好。个人而言，我觉得动态类型更适合比较小的程序，像 Python，Ruby，做为脚本语言，能简单快速的写完对文件的处理等。动态类型 Java 和 C++ 则能过支持大型的软件工程项目。

当然具体选择静态类型或者动态类型，取决于想要什么时候做类型检查？想要什么样的语言特性，并且应该知道选择的 trade-off 是什么样的。