Hegel 是 JavaScript 的類型檢查器，具有可選的類型注釋并防止運(yùn)行時(shí)類型錯(cuò)誤。

• 沒(méi)有運(yùn)行時(shí)類型錯(cuò)誤。Hegel有一個(gè)強(qiáng)大的類型系統(tǒng)和健全性檢查。這意味著他能發(fā)現(xiàn)任何可能在運(yùn)行時(shí)拋出的類型錯(cuò)誤。
• 可選的類型注釋。Hegel 有一個(gè)高級(jí)類型推斷，它使你能夠刪除類型注釋。
• 輸入錯(cuò)誤。Hegel 有一種機(jī)制來(lái)推斷和注釋函數(shù)應(yīng)該拋出哪些錯(cuò)誤。
• 使用 d.ts 作為庫(kù)定義。Hegel 沒(méi)有用于庫(kù)類型描述的自定義語(yǔ)言。使用許多現(xiàn)有.d.ts文件作為任何庫(kù)的類型來(lái)源。
• 只有帶有類型的 JavaScript。Hegel 只有類型語(yǔ)法，沒(méi)有任何額外的硬語(yǔ)法糖。