[python-users] Na Typisch
do_not_reply_to_this_address at t-online.de
do_not_reply_to_this_address at t-online.de
Mo Mai 18 22:41:49 CEST 2009
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
Mehr Informationen über die Mailingliste python-users