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>