Barrapunto

Leo a través de Lambda The Ultimate que Guido van Rossum ha escrito un comienzo de propuesta para añadir tipado estático opcional a Python. Comenta que ya hay herramientas de chequeo, pero cree que puede ser interesante (y yo también :) ) que pueda haber un sistema de tipado estático soportado por el lenguaje. Hace varios apuntes de como podría hacerse y que criterio seguir para decidir si siguen el mismo tipo o no. La propuesta de sintaxis básica sería pasar de

def min(a, b):
if a &lt b:

return a

else:

return b

a

def min(a: T, b: T) -> T:
if a &lt b:

return a

else:

return b

Muy bueno el poner a debate y en un weblog esto del diseño de funcionalidades de un lenguaje. Verdaderamente abierto.

Actualización: pezezin comenta que yo decía tipado fuerte donde debía decir tipado estático y, claro, tiene razón. Tantos años con nomenclatura C/C++...