Barrapunto

Más que tipado estático parece que lo que plantea es una ayuda a la inferencia de tipos que facilite el análisis estático y dinámico del código y ayude a encontrar errores sin necesidad de declarar absolutamente el tipo de cada variable.

Como casi todo lo que se gesta en Python, seguro que saldrá interesante y bien pensado, pero a veces me pregunto si de verdad son este tipo de cosas las que necesita el lenguaje. Si me preguntaran a mí que me gustaría ver en Python, no diría nada de closures(de las de verdad, no como las lambdas), ni decoradores, ni generadores, ni metaclases. En su lugar pediría buen soporte al threading (eliminación del "big lock" del intérprete), integración de psyco en la librería estándar(y con soporte al menos para x86, x86-64 y SPARC), integración y estándarización de pyrex... cosas menos interesantes desde el punto de vista de un diseñador de lenguajes pero mucho más prácticas para el programador común.

Tal vez sea no sea representativo, pero por lo que se ve en comp.lang.python no soy el único que piensa así....