[python-users] Typen

[Dirk Hünniger]

Ja das kommt der Sache schon relativ nahe. Einziger Punkt is mal wieder 
das die Sprache ziemlich neu und daher noch nicht sonderlich verbreitet 
ist. Am liebsten würde ich annotationen in Python hinschreiben, die der 
Interpreter geflissentlich überließt, die aber ein externes Pythonskript 
zur Typenprüfung auswerten kann. Das der Typenprüfer dann nicht über 
alle Python Konstrukte urteilen kann ist klar. Ich würde dann mein 
Programm soweit dem Typenprüfer anpassen bis er es analysieren kann und 
für typenrichtig befindet.
> Auf /. wurde vorgestern für "Dart" geworben [1], weil es die 
> Möglichkeit bietet nachträglich Typ-Annotationen zu ergänzen, die zur 
> Compilezeit ausgewertet werden. Vielleicht passt das zu deiner 
> Problematik?
>
> [1] 
> http://developers.slashdot.org/story/13/05/21/2123245/dart-is-not-the-language-you-think-it-is
>
>
> ________________________________________
>
> Diese Mail erhalten Sie ueber die Mailingliste python-users der 
> Universitaet zu Koeln
> Nachrichten an: python-users at uni-koeln.de
> Abonnement und Benutzereinstellungen: 
> https://lists.uni-koeln.de/mailman/listinfo/python-users
> Listenarchiv: https://lists.uni-koeln.de/pipermail/python-users/
>
> pyCologne Homepage: http://pycologne.de/