FlowJavaScript 靜態(tài)類型檢查

Flow是Facebook出品的一個用于JavaScript代碼的靜態(tài)類型檢查工具。用于找出JavaScript代碼中的類型錯誤。Flow采用OCaml語言開發(fā)。

mypy 編程語言是一個處于實驗階段的 Python 類型檢查工具，旨在結(jié)合動態(tài)類型和靜態(tài)類型的優(yōu)點

Pyright 是微軟開發(fā)的一個 Python 代碼類型檢查工具。Pyright 的速度是?mypy

mypy編程語言是一個處于實驗階段的Python類型檢查工具，旨在結(jié)合動態(tài)類型和靜態(tài)類型的優(yōu)點，目標是提供一個令人印象深刻的、功能強大而且方便的Python，提供編譯時的類型檢查和高效地編譯為原生代碼

Pyright是微軟開發(fā)的一個Python代碼類型檢查工具。Pyright的速度是?mypy的5倍以上。Pyright使用TypeScript開發(fā)，無需Python環(huán)境支持。官方表示創(chuàng)建?Pyrigh

Hegel 是 JavaScript 的類型檢查器，具有可選的類型注釋并防止運行時類型錯誤。沒有運行

Hegel是JavaScript的類型檢查器，具有可選的類型注釋并防止運行時類型錯誤。沒有運行時類型錯誤。Hegel有一個強大的類型系統(tǒng)和健全性檢查。這意味著他能發(fā)現(xiàn)任何可能在運行時拋出的類型錯誤。可

Pytype 是?Google 開源的 Python 靜態(tài)類型分析器。Pytype 可以：Lint

Pyre是一個快速、可擴展和高性能的Python類型檢查工具，適用于大型的?Python3代碼庫，旨在通過在終端或編輯器中以交互方式標記類型錯誤來幫助提高代碼質(zhì)量和開發(fā)速度。Pyre隨附了Pysa，這

Sorbet，一個快速且強大的Ruby類型檢查器，大部分代碼都是用Ruby編寫的，為Ruby開發(fā)環(huán)境提供了類似IDE的特性，包括自動完成和跳轉(zhuǎn)到定義等。包括內(nèi)容核心靜態(tài)類型檢查器創(chuàng)建新的Sorbet項