強力なサーバー側言語のオプションはたくさんありますが、強く型付けされた本当に強力なクライアント側言語について考えることはできません。 Javascriptはフォーム、基本的な数学、AJAXなどでサーバーとやりとりすることで多くのことをしますが、他の言語と比較して制限があります。強く型付けされたクライアント側の言語ですか？
私は、画像処理やデータ処理が可能な、厳密に型指定されたクライアント側の言語を探しています。変数のデータ型を強制するのに役立つjavascriptライブラリがあれば、それもうまくいくかもしれません。限り強い型付けあなたはGWT（静的）を使用してJavaを持って行くようにブラウザで
、パイソン（ダイナミック）Pyjamas、Dart、Opa（静的）とLLVMからJavaScriptにコンパイル越えることができる言語の束を持ちますemscriptenのおかげで（C、C++、Objective C、Java、Adaなど）
パフォーマンスに関しては、Google Native ClientとJavascript typed arraysをご覧ください。
個人的に私はオパが今日最も興味深いウェブ言語の1つだと思います。
Haxeは、さまざまなクライアント側環境にコンパイルする静的型付き言語です。 JavaScriptまたはFlash。
ええと、フラッシュ...しかし、オプションとしてjavascriptを使って私はそれをチェックアウトします。 –
TypeScriptFlowおよびDartには、オプションの静的タイピングがあります。 TypeScriptはJavaScriptのスーパーセットです（既存のライブラリに型情報を付けることができます）。ダーツは別の言語で、成長するのはstandard libraryです。
Dartにはオプションとしてスタティックタイピングがありません。型を書くことはできますが、VMがコメントとしてコメントを取り除くときには、それらはあなたとIDEだけの意味を持ちます。 –
ST-JSをご覧ください。このツールを使用すると、javascriptを書くことができますが、javaの構文と静的な型指定を借用することができます。このツールは、標準のjavascriptライブラリに加え、いくつかの一般的な有用なライブラリ（DOM、jqueryなど）を徹底的に反映する一連のJavaインターフェイスとクラスを提供します。あなたはjavaにソースコードを書くことができ、ST-JS翻訳者はその静的型コードをプレーンなバニラ（そして最も重要なことに読める）のjavascriptコードに変換します。 ST-JSは、対応するJavaインターフェイスを作成する限り、使用したい他のjavascriptライブラリと互換性があります。
ST-JSのもう一つの利点は、あなたがJavaコードを書いているので、あなたはJavaエコシステムの本当に強力なツールをすべて使うことができるということです。すべてのIDEでリファクタリングツールがそのまま使用できます。 Findbugs、PWD、checkstyleなどの静的解析ツールも機能し、ST-JS対応コードでは非常に正確です。
ST-JSは、GWT（完全にJavaScript標準ライブラリを隠し、外部ライブラリを使用できないようにする）とJSLintなどのいくつかのJavaScriptスタティック解析ツールの中間にあると考えることができます。
それはただの蒸散です。 –
Scala.jsは別のオプションです。そのJavaScript interoperabilityは読むのが重要です。
静的に入力されていますか？ –
私はあなたがFlashについて話していると思いますが、HTML5は高速で侵入しています... – McGarnagle
静的タイピングは正しい方向への一歩です。 Flashはコンパイルされており、プラグインが必要で、途中で出ているようです。 –