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是类型变量