¿Por qué no puede Python inferir tipos como scala?

Question

Duplicar posible:
How to deal with Python ~ static typing?

Básicamente soy un programador de Java con poco conocimiento de python.I gusta mucho la sintaxis de Python y la facilidad con que un programador es capaz de expresar su idea, pero también soy consciente de que Python está tipeado dinámicamente y, por lo tanto, no es tan rápido como Java. Mi pregunta es ¿por qué no puede inferir Python tipos como lenguajes como Scala?

Answer 1

No es que Python no pueda, pero no es así. La diferencia está en los sistemas de tipos que los diseñadores de los idiomas eligen seguir.

Python utiliza el tipado de pato y ha tipeado objetos pero sin tipo de nombres de variables. Las restricciones de tipo no se verifican en tiempo de compilación; más bien, las operaciones en un objeto pueden fallar, lo que significa que el objeto dado no es del tipo adecuado. A pesar de estar tipado dinámicamente, Python tiene un fuerte tipeo, que prohíbe las operaciones que no están bien definidas (por ejemplo, agregar un número a una cadena) en lugar de tratar de encontrarlas en silencio.

Scala es un lenguaje estáticamente tipado, es decir, los tipos se comprueban en tiempo de compilación. Un mecanismo de inferencia de tipo local se ocupa de que el usuario no tenga que anotar el programa con información de tipo redundante. Las operaciones que rompen las restricciones de tipo conducen a errores de compilación, no a errores de tiempo de ejecución. También vea The Purpose of Scala's Type System, especialmente la sección donde se discute la tipificación de pato.

Answer 2

Python se tipea dinámicamente, mientras que la inferencia de tipo solo es posible en lenguajes tipados estáticamente. La tipificación estática sería imposible de implementar sin descartar el soporte de funciones como listas de objetos arbitrarios.

Answer 3

Python no hace inferencia de tipo estático, porque quiere permitirte hacer cosas que son imposibles bajo dicho esquema. Por ejemplo:

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

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

Cuál debería ser el tipo de x ser?

EDIT: ejemplo fue:

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"