Warum leitet Flow den Typ einer Funktion nicht basierend auf dem zurück, was sie zurückgibt?

8

Ich hatte erwartet, diesen Code eingeben überprüfen im Flow wie es funktioniert in TypeScript :

%Vor%

Stattdessen erhalte ich diesen Fehler:

%Vor%

Gibt es einen allgemeinen Namen für diese Design-Entscheidung, und was ist der Grund dafür?

Ist es möglich, den Flow-Checker zu bitten, den Rückgabetyp einer Funktion aus Return-Anweisungen abzuleiten?

    
Andrey Fedorov 07.07.2017, 20:34
quelle

1 Antwort

4

Sie müssen entweder eine explizite Umwandlung vornehmen, z. B .:

%Vor%

Oder verwenden Sie einen existentiellen Typ, z. B .:

%Vor%     
Rodris 11.07.2017 13:17
quelle

Tags und Links