強力なサーバー側言語のオプションはたくさんありますが、強く型付けされた本当に強力なクライアント側言語は思い浮かびません。Javascript は、フォーム、基本的な計算、および AJAX などを使用したサーバーとのやり取りで多くのことを行いますが、他の言語と比較すると限界があります。
画像処理やデータクランチなど、生のものを処理できる、強く型付けされたクライアント側言語を探しています。または、変数のデータ型を適用するのに役立つ JavaScript ライブラリがあれば、それも機能する可能性があります。
強力なタイピングに関する限り、ブラウザーには Java とGWT (静的)、Python (動的) とPajamas、Dart、Opa (静的)、およびLLVMから JavaScript にクロス コンパイルできる多数の言語(C、C++、Objective) があります。 C、Java、Ada、その他多数) emscriptenのおかげです。
パフォーマンスに関しては、 Google Native ClientとJavascript 型付き配列を見ることができます。
個人的には、Opa は今日最も興味深い Web 言語の 1 つだと思います。
Haxeは、JavaScript や Flash などのさまざまなクライアント側環境にコンパイルできる、静的に型付けされた言語です。
TypeScript、Flow、およびDartには、オプションの静的型付けがあります。TypeScript は JavaScript のスーパーセットです (既存のライブラリに型情報で注釈を付けることができます)。Dart は、成長する標準ライブラリに付属する別の言語です。
ST-JSをご覧になることをお勧めします。このツールを使用すると、javascript を記述できますが、Java の構文と静的型付けを借用しています。このツールは、標準の JavaScript ライブラリを正確に反映する一連の Java インターフェースとクラスを提供し、さらにいくつかの一般的な便利なライブラリ (DOM、jquery など) を提供します。その後、ソース コードを Java で記述できます。ST-JS トランスレータは、その静的型付けされたコードをプレーンなバニラ (そして最も重要なのは読み取り可能な) JavaScript コードに変換します。ST-JS は、対応する Java インターフェースを作成する限り、使用したい他の JavaScript ライブラリとも互換性があります。
ST-JS のもう 1 つの利点は、Java コードを記述しているため、Java エコシステムの非常に強力なツールをすべて使用できることです。すべての IDE のリファクタリング ツールは、すぐに使用できます。Findbugs、PWD、checkstyle などの静的分析ツールも優れた機能を発揮し、ST-JS 対応コードで非常に正確です。
ST-JS は、GWT (JavaScript 標準ライブラリを完全に非表示にし、外部ライブラリを使用できないようにする) と JSLint などの JavaScript 静的分析ツールの中間にあると考えることができます。
Scala.jsも別のオプションです。そのJavaScript 相互運用性は読むことが重要です。