Ein recht interessantes Dokument über einen statischen Typ-Prüfer für Python. Wäre ja schön wenn sowas mal in Python Einzug halten würde - die Möglichkeiten für Optimierungen durch den Compiler sind dadurch deutlich besser.
Bei Lambda the Ultimate fand ich den den Originalartikel.
