infrared

紅外線的

JavaScript的快速，輕巧，推斷的靜態型檢查器。

紅外線是用於JavaScript的可配置且有效的靜態型檢查器。這是通過在整個程序上靜態地推斷出流體類型系統的方法來完成的 - 在變化時跟踪它們的類型 - 並在運行時發生之前會增加類型錯誤。

什麼是流體類型系統？

流體類型的系統不是外國想法，它是一套寬恕的打字規則，隨著程序的變化而改變。這意味著任何變量曾經沒有任何變量 - 如果該變量在程序中的某個地方更改其類型，則紅外線會跟踪它。

JavaScript是一種動態語言，紅外線不想改變它。儘管其他類型的系統希望您更改編程方式（並將JavaScript更改為其他內容），而紅外線則相反。

要了解紅外線適合打字生態系統的方式，請考慮以下內容：

• 如果您正在尋找試圖促進健全性的超級類型系統，則應使用流程。
• 如果您正在尋找鼓勵不健全性的超級類型系統，則應使用Typescript。
• 如果您不想更改項目中的任何內容，但是仍然想知道程序中的事物類型 +在編譯時具有某種類型的安全性，則應使用紅外線。

計劃，路線圖以及未來的

紅外線是一個非常大的項目，因此自然而然地，確保我們仔細計劃以避免笨拙的事物是一個很好的主意。

我正在使用無花果來組織紅外每個部分（解析器，編譯器，服務器等）的不同部分和職責。隨時跟隨並檢查到目前為止我已經繪製的內容。

不幸的是，無花果僅反映了開發路線圖的最終部分。這意味著本文檔中沒有很多很酷的作品 - 例如打字規則，簡化策略，離散證明等。

由於這些位寫在物理筆記本上，因此我很難在線分享。好消息是，我計劃一旦完成該項目，我打算寫一份白皮書，所有很酷的東西都將包含在其中。

在此之前，我很樂意與任何有興趣了解更多了解的人聊天 - 隨時在Twitter上脫穎而出。

常問問題

問- 我可以使用這個嗎？

A - 還沒有。該項目仍在開發中，但預計很快就會發布Alpha（ ISH ）！

執照

該軟件可以在MIT許可下免費使用。有關許可文本和版權信息，請參見此參考。