Guido van Rossum denkt über optionales statisches Typing für Python nach. Sehr interessant, da durch optionales statisches Typing einerseits die hoch dynamische Natur von Python erhalten bleibt, andererseits aber eben als Option für die Optimierung die Typdeklaration zur Verfügung steht. Was sowas bringen kann kann man wunderbar mit PyRex ausprobieren - das schon heute sowas wie ein statisch getyptes Python bietet. Hier gibts den Originalartikel.