typechecking

___ tag123javascript ___ JavaScript (nicht zu verwechseln mit Java) ist eine dynamische Sprache mit mehreren Paradigmen auf hoher Ebene, die sowohl für das clientseitige als auch für das serverseitige Scripting verwendet wird. Verwenden Sie dieses Tag für Fragen zu ECMAScript und seinen verschiedenen Dialekten / Implementierungen (außer ActionScript und Google-Apps-Script). ___ qstnhdr ___ "JQuery Interface-Datei" für Flow (Statischer Typ-Checker für JavaScript von Facebook)? ___ qstntxt ___

Im November 2014, vor 3 Monaten, hat Facebook ein neues Befehlszeilen-Tool geöffnet, einen statischen Typ-Checker namens " Flow ". Jetzt möchte ich es auf ein paar meiner älteren, vorhandenen Javascript-Dateien ausführen. Diese enthalten Verweise auf die jQuery-Bibliothek.

Meine JS-Dateien wurden nicht mit statischer Typprüfung geschrieben. Nach dem Einschließen von / * @flow * / am Anfang der Datei, wenn ich den Befehl flow mit diesem Befehl ausführe:

%Vor%

Ergebnis:

%Vor%

Wie ich es verstehe, ist die Art und Weise, wie jQuery in den Flow Typprüfungsprozess eingeschlossen wird, Erstellen Sie eine "Schnittstellendatei" .

Hat jemand das schon für die jQuery-Bibliothek getan? (Ich benutze jQuery 1.9)

    
___ answer41707618 ___

Wenn Sie eine tatsächliche jQuery-Flussschnittstellendefinition möchten, können Sie sich die in Ссылка bereitgestellte

ansehen

Installieren Sie es mit:

%Vor%

oder

%Vor%

Fügen Sie Ihrer %code% -Datei Folgendes hinzu:

%Vor%

Danach leitet flow die Arten der Parameter ab, die Sie den jquery-Funktionen zur Verfügung stellen, und warnt Sie, wenn Sie die falschen Typen übergeben.

    
___ answer32559872 ___

Dies ist meine Interface-Datei, die ich gerne %code% in einem Ordner namens "flow_lib" aufrufen möchte. Dieser Ordner kann überall sein.

Dies ist der Code, den %code% für die Schnittstellendeklaration enthält:

%Vor%

Fügen Sie in Ihrem %code% den folgenden Ordner ein:

%Vor%

Hinweis : Diese Methode prüft nicht auf tatsächliche jQuery-Spezifikationen. Es ist nur eine schnelle Lösung, um die Flow-Warnungen und Fehler in %code% in Ihrem Code loszuwerden. Wenn Sie genauer sein möchten, verwenden Sie etwas wie: Ссылка

    
___ tag123facebook ___ Mit der Facebook Platform können Entwickler ihre Apps direkt in den sozialen Netzwerkdienst von Facebook integrieren. Verwenden Sie dieses Tag für Fragen, die bei der Entwicklung von FOR Facebook auftreten können. Dieses Tag ist NICHT für Support-Fragen zur Nutzung der Facebook-Website oder der offiziellen Facebook-App gedacht. Es ist auch NICHT für Fragen der "Ich möchte ein Feature ähnlich wie Facebook hat" implementieren. ___ tag123flowtype ___ Flow ist ein statischer Typ-Checker, der Typfehler in JavaScript-Programmen, die von Facebook erstellt wurden, finden soll. ___ tag123typecking ___ Ein Typchecker erzwingt, dass Ausdrücke in einer gegebenen Programmiersprache gut typisiert werden - d. h. mit den Regeln eines bestimmten Typsystems übereinstimmen. ___ tag123jquery ___ jQuery ist eine beliebte browserübergreifende JavaScript-Bibliothek, die das DOM-Traversal (Document Object Model), die Ereignisbehandlung, Animationen und AJAX-Interaktionen erleichtert, indem die Diskrepanzen zwischen Browsern minimiert werden. Eine mit jQuery gekennzeichnete Frage sollte mit jquery in Zusammenhang stehen, daher sollte jquery von dem fraglichen Code verwendet werden, und mindestens eine jquery-nutzungsbezogene Elemente müssen in der Frage enthalten sein. ___
3
Antworten

Wie kann ich überprüfen, ob ein Objekt seinen Typ erkennt und ein gegossenes Objekt zurückgibt?

Ich habe eine Methode, an die ich ein Objekt übergebe. Bei dieser Methode überprüfe ich den Typ und je nach Typ mache ich etwas damit und gebe ein Long zurück. Ich habe alles versucht, was mir dazu einfällt, und ich bekomme immer mehrere Compile...
17.04.2010, 17:28
3
Antworten

Vererbung - warum ist das illegal?

Ich mache ein C ++ Quiz. Und es kam der folgende Code - es ist illegal, aber ich kann nicht verstehen, warum. Kann jemand erklären, warum diese Zeile: %Vor% erzeugt den Compilerfehler, "kann nicht von Shape * in Box konvertiert werden"? Ich...
15.08.2012, 21:14
2
Antworten

Warum toString () verwenden, um Prüfargumente zu schreiben, die Sie mit typeof überprüfen können?

Ich verstehe, warum Sie Object.prototype.toString() oder String() für Tychecking-Arrays verwenden müssen, aber nicht typeof ausreichend für Tychecking-Funktionen und Strings? Zum Beispiel verwendet das Polyfill auf MDN für Array.isArray...
01.03.2012, 08:10
2
Antworten

Warum ist eine Kontextreduktion notwendig?

Ich habe gerade dieses Papier gelesen ("Type classes: a exploration of der Design Space "von Peyton Jones & Jones, der einige Herausforderungen mit dem frühen Typenklassensystem von Haskell erklärt, und wie man es verbessern kann. Viele der...
01.02.2016, 18:27
2
Antworten

Endlosschleife für Typreduzierung

Mein Ziel ist es, () von Begriffen wie folgt zu eliminieren: %Vor% Und das ist der Code: %Vor% Aber probiere es aus: %Vor% ... führt zu einer Endlosschleife im Typchecker. Ich denke, die If type Familie sollte sich um irreduzib...
08.09.2016, 16:37
1
Antwort

Wie überprüfe ich den Typ des Feldes in elixir?

Sagen wir, ich habe: %Vor% dann kann ich: %Vor% Ist es möglich zu überprüfen, ob o.operator ist logic , arithmetic oder nil ?     
17.01.2015, 18:04
2
Antworten

"JQuery Interface-Datei" für Flow (Statischer Typ-Checker für JavaScript von Facebook)?

Im November 2014, vor 3 Monaten, hat Facebook ein neues Befehlszeilen-Tool geöffnet, einen statischen Typ-Checker namens " Flow ". Jetzt möchte ich es auf ein paar meiner älteren, vorhandenen Javascript-Dateien ausführen. Diese enthalten Verweis...
03.02.2015, 10:01