[python-users] Na Typisch

[do_not_reply_to_this_address at t-online.de]

Moin,
in Python gibt es ja bekanntlich zur Kompilezeit keine Typenprüfung. 
Jedoch hat jedes Python Objekt zur Laufzeit einen
Typ. Ich spiele zur Zeit ein bisschen mit Java und Haskell. Da hat jedes 
Objekt zur Compilezeit einen Typ. Daher kann
der Kompiler einige Fehler finden, die der Python Kompiler nicht finden 
kann. Jetzt gibt es aber in Java und auch in Haskell etwas, was type 
inferrence heist. Das heist der Kompiler überlegt sich von alleine ohne 
das der Programmierer es ihm sagt welchen Typ die Objekte haben. In Java 
habe ich das nur bei statischen generischen Methoden gesehen, es scheint 
also nur
in einem kleinen Teilbereich angewendet zu werden. In Haskell wird es 
sehr weitgehend verwendent, dennoch verlangt
Haskell hin und wieder das man an mehrdeutigen Stellen den Typ genau 
angibt. Die Frage ist nun geht soetwas in Python auch. Könnte man 
versuchen Python Code zu parsen und heraus zu bekommen Objecte welchen 
Typs bestimmte Variablen wohl referenzieren. Gibt es vieleicht irgendwo 
ein Tool was soewas tut und dann einem Informationen ausgibt nach dem 
Motto "Meinten Sie...?". Man könnte es dann soweit treiben das es 
versucht allen Variablen Typen zuzuordnen und ggfs. auch Hinweise des 
Programmierers zu verlangen wenn das Tool das nicht leisten kann. Man 
hätte damit einen weiteren Statischen Test eines Quellcodes. Gibts soetwas?
Gruß Dirk