JavaScriptのためのタイプチェッカー？

Question

JavaScriptコードを分析してタイプエラーを検出するための優れたツールがあるかどうかは知りませんか？私は、JavaScript自体が弱くダイナミックに型付けされていることを知っていますが、フィールドアクセスがすべて合理的であることを検証するプログラムを用意できれば、文字列のように数値を扱うことはできません。私は、フィールドの追加や削除、または異なるタイプ間の変換が有効で期待されるJavaScriptの有効な使用例があることを認識していますが、一部のエラーはスクリプトが実行される前にキャッチされるように思われます。

私はJSLintについて聞いたことがありますが、それは主にセマンティックアナライザーではなくスタイルツールです。私がこれについて間違っているならば、私に言っているだけで、この質問に対する正当な答えになるでしょう。

Answer 1

Googleクロージャコンパイラは、jsDocコメントで関数に注釈を付けるための推奨事項に従っているかどうかをチェックします。それはJSDocの注釈に基づいて確認してください入力しないEsLintプラグイン、だhttps://github.com/yarax/typelint

からhttp://code.google.com/closure/compiler/docs/js-for-compiler.html

Answer 2

JavaScriptの動的性質のため、自動ツールを使用して自信を持って静的解析を行うことはできません。しかし、すばらしい仕事をするツールの1つは、JetbrainのWebStormとJavaScriptをサポートする他のIDEです。

Answer 3

一つ別のオプションを参照してください。

さらに、タイプチェックにRedux状態またはSwaggerスキーマ（基本的には任意のJSONスキーマ）を使用する独自の拡張機能をサポートしています。したがって、複雑な複合型を自分で記述する必要はありません。

Answer 4

Facebookの新しいタイプのチェッカーがあります。flowです。

そして、あなたのJSDocアノテーションをフローアノテーションに変換するpluginがあります。