infrared

赤外線

JavaScriptの高速、軽量、推測された静的タイプチェッカー。

赤外線は、JavaScriptの構成可能で効率的な静的タイプチェッカーです。これは、プログラム全体に流体タイプシステムを静的に推測することで行われます。変数が変更されるときに変数のタイプを追跡し、実行時に発生する前にタイプのエラーを上げます。

流体タイプのシステムとは何ですか？

流体タイプのシステムは、外国のアイデアではありません。プログラムが変更されるにつれて変更するタイピングルールの寛容なセットです。これは、変数が単一のタイプにコミットされないことを意味します。その変数がプログラムのどこかでそのタイプを変更すると、赤外線がそれを追跡します。

JavaScriptは動的な言語であり、赤外線はそれを変更したくありません。そこにある他のタイプのシステムは、プログラムの方法を変更し（JavaScriptを他の何かに変更する）ことを望んでいますが、Infraredは反対を行います。

赤外線がタイピングエコシステムに適合する方法を理解するには、以下を検討してください。

• 健全性を促進しようとするスーパーセットタイプのシステムを探している場合は、Flowを使用する必要があります。
• 不健全さを促進するスーパーセットタイプシステムを探している場合は、TypeScriptを使用する必要があります。
• プロジェクトで何も変更したくないが、プログラムの種類のことを知りたい場合は、コンパイル時間に何らかのタイプの安全性を持っている場合は、赤外線を使用する必要があります。

計画、ロードマップ、そして先にあるもの

Infraredは非常に大きなプロジェクトなので、当然、Janky-Messを避けるために慎重に計画することを確認することをお勧めします。

Figmaを使用して、赤外線（パーサー、コンパイラ、サーバーなど）の各部分のさまざまなセクションと責任を整理しています。お気軽にフォローして、これまでにマッピングしたものをチェックしてください。

残念ながら、Figmaは開発ロードマップの最終的な部分のみを反映しています。これは、このドキュメントには含まれていないタイピングルール、削減戦略、離散証明など、多くのクールな作業があることを意味します。

これらのビットは物理的なノートに記載されているため、オンラインで公開するのは難しいです。良いニュースは、このプロジェクトが終了したらホワイトペーパーを書く予定であり、すべてのクールなものがそこに含まれることです。

それまでは、もっと知りたいと思っている人とチャットできてうれしいです。Twitterでお気軽にお問い合わせください。

よくある質問

Q - これを使用できますか？

A - まだ。このプロジェクトはまだ開発中ですが、すぐにアルファリリース（ ISH ）を期待してください！

ライセンス

このソフトウェアは、MITライセンスの下で無料で使用できます。ライセンステキストと著作権情報については、このリファレンスを参照してください。