Primero "todos los errores sin tener que ejecutar" es un poco complicado, incluso C y C++ los cuales mencionas tienen errores en tiempo de ejecución y que al ser compilados no son tan explícitos e informativos como los que el intérprete Python te muestra.
Ahora bien, en el error que muestras yo señalaría dos aspectos de Python que que debemos tener en cuenta, la primera es que en Python se pueden añadir atributos o métodos en tiempo de ejecución a una clase o un objeto, por lo que va a ser difícil para un analizador estático saber si el objeto tiene o no ese método en un momento dado. Para lo bueno y para lo malo Python permite hacer cosas que no permite C++ u otros lenguajes compilados.
La segunda es el tipado dinámico, estrictamente en Python no existe el concepto de "tipo de variable" al uso de C, en Python las "variables" son nombres que se asocian a un objeto en memoria (un int
es un objeto) y que se pueden en un momento dado asignar a otro objeto sin problemas.
En Python 3 partiendo de PEP 483 -- The Theory of Type Hints y con la implementación de las anotaciones se ha introduciendo la posibilidad de especificar el tipo de de una variable/atributo así como el retorno y argumentos de una función/método.
No hay que confundirse, Python sigue siendo por ahora estrictamente un lenguaje dinámicamente tipado y el intérprete no realiza ninguna comprobación de tipos por si solo, pero lo anterior permite indicar al buen lector de nuestro código y a herramientas diseñadas para la comprobación de tipos que tipo se espera que tenga nuestra variable o retorne nuestra función, permitiendo una comprobación de tipos previa a la generación del bytecode y su ejecución.
Hay IDEs como PyCharm que tienen su propio comprobador de tipos, mostrándote la advertencia en el propio editor, además basándose en todo lo anterior tenemos el proyecto MyPy inicialmente desarrollado por DropBox y alojado en el mismo repositorio que Python actualmente, que permite la comprobación de tipos estáticos en Python, un pequeño ejemplo:
class Button:
def click(self):
print("Click")
class App:
def __init__(self):
self.btn= Button()
app = App()
app.btn.click() # Todo bien
app.btn = [] # Upsss!!!
app.btn.click()
El problema del código simple anterior, que es posiblemente similar al problema que generó tu error, es que el atributo btn
debe ser una instancia de Button
, no cualquier otra cosa como una lista. Hay muchas formas de validar y manejar en su caso esto en tiempo de ejecución, pero claro si tardamos media hora en que se ejecute app.btn = []
, tarda media hora en aparecer el error...
Aquí es donde entran las anotaciones de tipo y los comprobadores como MyPy, si modificamos la declaración de self.btn
añadiendo la correspondiente anotación de tipo:
self.btn: Button = Button()
al lanzar MyPy obtendremos nuestro correspondiente error de tipado sin tener que ejecutar el código:
$ python -m mypy test.py
test.py:13: error: Incompatible types in assignment
(expression has type "List[<nothing>]", variable has type "Button")
Otro ejemplo, una función que recibe una lista de enteros o floats y retorna la suma de sus elementos (Python >= 3.5):
from typing import List, Union
def suma(lista: List[Union[int, float]]) -> Union[int, float]:
s = sum(lista)
return s
# Algunas llamadas a la función
suma([1, 2, 3]) # Correcta
suma((1, 2, 3)) # Incorrecta, se le pasa una tupla
suma([1.8, 4, 3]) # Correcta
suma([1.8, "hola", 3]) # Incorrecta, la lista contiene algo que no es int o float
Ejecutar el código anterior el intérprete solo nos muestra el esperable error al intentar concatenar floats con cadenas, error que se genera solo cuando se ejecuta dicha línea, no antes:
TypeError: unsupported operand type(s) for +: 'float' and 'str'
Pero MyPy va más allá sin ejecutar el código mostrándonos los dos errores:
$ python -m mypy test.py
test.py:9: error: Argument 1 to "suma" has incompatible type
"Tuple[int, int, int]"; expected "List[Union[int, float]]"
test.py:11: error: List item 1 has incompatible type "str"; expected "float"
Todo esto es relativamente nuevo en Python y se está actualmente trabajando en ello, por ejemplo falta que muchas librerías de terceros implementen la comprobación para sus propios "tipos", por ejemplo imaginemos el caso anterior pero con un array de NumPy que debe contener int8
. Aunque parezca que las anotaciones son algo superfluas añaden un gran potencial, no solo en lo mostrado, sino que permite por ejemplo la optimización del código en compiladores JIT lo cual conllevando una mejora en el rendimiento, una de las ventajas del tipado estático.
obj = SomClass()
obj.some_property = 4
obj.some_property += 1
obj.some_property = "Hola mundo"
, ¿como se podria verificar que la suma con un entero esta definido?