Statische Typenprüfung in Python 3

[Dirk Hünniger]

Hallo,

ich habe soeben gelesen, dass es in neueren Versionen von Python 3 die 
Möglichkeit gibt, Typen explizit anzugeben (gradual typing). Hierüber 
bin ich hoch erfreut. Ich habe gerade meine nun schon mehr als 10 Jahre 
alte Diplomarbeit von Python 2 auf Python 3 portiert. Siehe hier:

http://pygtkindiclient.sourceforge.net/

Ich würde jetzt gerne Typen hinzufügen. Nur würde ich ungerne das alles 
von Hand eintippen. Gibt es ein Programm was versucht die 
Typensignaturen selbstständig herauszufinden. So etwa wie bei 
Hindley–Milner. Dass das nicht in allen Fällen gehen kann ist schon 
klar. Aber vielleicht geht es so weit, dass ich nur noch 10% der 
Typensignaturen selber tippen muss:

Viele Grüße Dirk
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <http://lists.uni-koeln.de/pipermail/python-users/attachments/20181209/a2adceb1/attachment.html>