hakana

哈卡納

Hakana是Slack構建的Hack的Typechecker。

它補充了與HHVM捆綁在一起的現有黑客Typechecker，通過提供官方Typechecker範圍之外的其他見解。

Hakana的主要目標是在代碼庫中推斷準確的類型，並迅速進行。

良好的推理使Hakana可以做其他幾項有價值的事情：

• 安全分析
• 自定義類型感知遷移
• 檢測潛在邏輯錯誤
• 發現和刪除死亡代碼

非目標

這並不是要替換Hack的默認Typechecker，它支持與類型推理無關的額外功能（例如上下文和功能）。

該工具的設計並不是為每個按鍵上運行，而是具有支持儲蓄檢查的語言服務器。

從來源建造

克隆此倉庫，如果還沒有，請安裝Rust和貨物。

運行git submodule init && git submodule update以確保存在HHVM（Hakana借用HHVM的解析器）。

然後運行cd third-party/hhvm && git apply ../../hhvm-patch.diff && cd ../../應用一些啟用WASM彙編的補丁。

然後運行cargo build --release

這將在./target/release/hakana-default上創建一個二進制

運行測試

您可以通過以下測試進行： cargo run --bin hakana --release test tests

您可以使用cargo run --bin hakana test <path-to-test-dir>