为什么Python不能像Scala那样推断类型？

Question

可能重复的问题：
如何处理Python的静态类型？

我基本上是一个Java程序员，对Python了解不多。我非常喜欢Python的语法，以及程序员能够轻松表达自己想法的方式，但我也知道Python是动态类型的，因此速度没有Java快。我的问题是，为什么Python不能像Scala这样的语言一样推断类型呢？

Answer 1

Python是一种动态类型的语言，这意味着你在写代码的时候不需要提前告诉它变量的类型。而类型推断这种功能只在静态类型的语言中才能实现。要实现静态类型，就必须放弃一些特性，比如可以存放任意对象的列表，这样就会变得很麻烦。

Answer 2

Python 不进行静态类型推断，因为它希望让你做一些在这种情况下不可能做到的事情。举个例子：

def myfn():
  if random.random() > 0.5
    return "howdy"
  else:
    return 7

x = myfn() #  Am I a string or an integer?

x 的类型应该是什么呢？

补充说明：之前的例子是：

def myfn(x):
  try:
    return str(x[0]+1) + " is my favourite"
  catch IndexError:
    return x+1

myfn(1) #  = 2
myfn( [2,4,6] ) # = "3 is my favourite"

Answer 3

并不是说Python做不到，而是它选择了不同的方式。这个区别在于这些编程语言的设计者选择了不同的类型系统。

Python使用的是“鸭子类型”，它有类型的对象，但变量名本身没有类型限制。也就是说，类型的检查不是在编译时进行的，而是在运行时进行的。如果对一个对象的操作不合适，程序会出错，说明这个对象的类型不对。尽管Python是动态类型的，但它是强类型的，意味着它不允许做一些不合理的操作（比如把数字和字符串相加），而不是默默地尝试去处理这些错误。

Scala是一种静态类型的语言，也就是说，类型是在编译时检查的。它有一个本地的类型推断机制，这样用户就不需要在程序中添加多余的类型信息。如果操作违反了类型的限制，编译器会报错，而不是在程序运行时出错。你也可以看看Scala类型系统的目的，特别是讨论鸭子类型的那一部分。