Python是不是弱类型？如果是的话是不是仅仅因此就不需要泛型了？

回复内容：

请先理解以下基本概念：

1. python是强类型；
   
2. 泛型是啥。
   

• Python 是强类型的
  
• Python 不需要泛型是因为 Python 的变量签名是动态的，有 lazy binding 效果。比如一个函数传入 connection 参数，然后函数中调用 connection.close() 。直到你调用这个函数的时候（运行期），虚拟机才会去查找 close 方法，而不是像静态类型语言一样在编译期或装载期就事先建立符号表。
  

一句话：泛型是一种类型声明的表达方法。Python不声明类型，所以你想找泛型也没处找去。跟强/弱类型和静态/动态都没有直接联系。

一般的解释语言为了编程的灵活性，都没有类型声明。这是被变量都要声明类型的语言坑惨的程序汪的报复。比如说Java，一屏幕代码，四分之一都是没啥信息量的局部变量类型声明，光看都要瞎了有没有。

但是类型声明还是有好处的啊，写Python的程序员肯定遇到过处理exception（比如连不上服务器）的代码里类型错误，结果程序写的时候好好的，跑的时间一长就类型错误，简直吐血三升有木有。有类型声明的话，写的时候就能发现错误了。

所以呢，解释语言的程序汪们就又往语言里加可选的类型声明了。比如Python有mypy，既有泛型又有duck-typing，简直左牵黄右擎苍啊。以后再也不要说我们解释语言不做类型检查了，是我们不爱做而已。
mypy - Optional Static Typing for Python “不需要泛型”和强/弱类型无关，另外一般认为Python是强类型

泛型属于多态的概念。广义的多态包括：Ad-hoc多态（函数重载），参数化多态（泛型），子类型多态。

泛型是指：函数的类型签名中可以包含类型变量，使用时类型变量会被静态地替换成具体类型，而针对不同具体类型的函数体是一模一样的。

如C++的template，T是类型变量

<code class="language-cpp"><span class="n">T</span> <span class="nf">max</span><span class="p">(</span><span class="n">T</span> <span class="n">x</span><span class="p">,</span> <span class="n">T</span> <span class="n">y</span><span class="p">)</span>
<span class="p">{</span>
    <span class="k">return</span> <span class="n">x</span> <span class="o"> <span class="n">y</span> <span class="o">?</span> <span class="nl">y</span> <span class="p">:</span> <span class="n">x</span><span class="p">;</span>
<span class="p">}</span>
</span></code>

先来看看为啥Java需要Generics？
官网有解答：http://docs.oracle.com/javase/tutorial/java/generics/why.html
总的来说，Generics根据这个解释，主要作用就是在编译期做类型检查+避免不必要的类型转换。
Python(2.x)的确切的类型信息本身要等到运行时才会暴露出来，自然编译期做类型检查也就没有意义了。 Duck Typing, C++ 式的编译期泛型和 Java Collection Framework 1.4 之前的基于接口的做法，目的相似，手段不同而已。
http://en.wikipedia.org/wiki/Duck_typing 因为Python是动态类型，所以天然就是支持泛型支持泛型的。但是动态类型语言，都自然支持泛型 python/ruby 都是强类型的……php是弱的 看了一些回答后，再次感叹python的确又是一个类似C++那般被国外再到国内被误解相当深的编程语言工具。
1. 为变量指定数据类型称为“强类型”，但此形式并不代表该编程语言类型系统一定更强大。Python有一个统一的、明确的、强大的类型系统，比Java的类型系统更强。
2. 见你这样问，显然对“泛型”的理解只是形式上的，建议你还是认真看看其定义和目的、意义：http://zh.wikipedia.org/zh-cn/%E6%B3%9B%E5%9E%8B。