mypy

12Hitze

1Antwort

Proper Typenannotation von Python-Funktionen mit Ertrag

Nachdem Eli Bendersky den Artikel zu lesen on implementing state machines via Python coroutines Ich wollte ... sehen sein Beispiel laufen unter Python3 und auch die entsprechenden Typenannotationen fü

5Hitze

1Antwort

Verwenden von lokalen Mypy-Stubs

Ich versuche den Tipp von Python 3.5 eingegeben und ein Problem mit lokalen Stubs als Eingabe Tipp mit Mypy. Das Experiment, das ich tun, ist kk.py creat def type_check(a): pass Auch enthält, i

5Hitze

2Antwort

Warum verursacht das Definieren der Argumenttypen für __eq__ einen MyPy-Typfehler?

Ich verwende Python 3.5.1 und den neu veröffentlichten MyPy v0.4.1 statischen Typ-Analysator. Ich habe etwas komplexeren Code, den ich habe auf diese möglichst einfache Python-Klasse reduziere nach un

0Hitze

1Antwort

mypy expliziter Typ Hinweis in Anführungszeichen ergibt noch nicht definiert Fehler

Ich versuche, das Folgende zu tun: self.sender = None # type: 'Node' Ich kann nicht Knoten importiert werden, weil ich einen Zyklus bekommen würde. Also schreibe ich es Zitate in wie http://mypy.rea

18Hitze

2Antwort

Wie kann ich den Funktionstyp in meinen Typhinweisen angeben?

Ich möchte Typhinweise in meinem aktuellen Python 3.5-Projekt verwenden. Meine Funktion sollte eine Funktion als Parameter erhalten. Wie kann ich die Typ-Funktion in meinen Typhinweisen angeben? impor

3Hitze

1Antwort

Wie überprüft man die Typkompatibilität bei Verwendung des Tippmoduls?

Ich verwende Python PEP484 Typ Hinweise, um einen Typ-Checker für eine DSL zu schreiben, die ich in Python geschrieben habe. Wenn ich eine Funktion erwarte, die für eines ihrer Argumente den Typ T erw

3Hitze

1Antwort

Mypy "ungültiger Typ" Fehler

Ich versuche Typ Anmerkungen in einem aktuellen Projekt zu implementieren und erhalte Fehler von Mypy, die ich nicht verstehe. Ich benutze Python 2.7.11 und neu installierte mypy in meiner Basis virtu

3Hitze

1Antwort

Python 3.5 Typisierung benutzerdefinierter Typ

Ich habe eine Methode, die ein API-Aufrufe und dass API antwortet mit einem dict, die zwei Schlüssel enthalten: all, owner (es ist ein Github api tatsächlich, dass die Aktivität für ein bestimmtes Rep