Hakana is a typechecker for Hack, built by Slack.

Online Playground

It complements the existing Hack typechecker that comes bundled with HHVM by providing additional insights beyond the scope of the official typechecker.

Hakana’s primary goal is to infer accurate types in the codebase, and to do so quickly.

Good type inference allows Hakana to do several other valuable things:

• Security Analysis
• Custom type-aware migrations
• Detection of potential logic bugs
• Discovery and removal of dead code

This is not intended to replace Hack's default typechecker, which supports extra features (e.g. contexts and capabilities) that aren't immediately relevant to type inference.

This tool is not designed to be run on every keypress, but it has a language server with support for on-save checks.

Clone this repo, install Rust and Cargo if you haven't already.

Run git submodule init && git submodule update to ensure HHVM is present (Hakana borrows HHVM's parser).

Then run cd third-party/hhvm && git apply ../../hhvm-patch.diff && cd ../../ to apply a few patches that enable WASM compilation.

Then run cargo build --release

That will create a binary at ./target/release/hakana-default

You can run all tests with: cargo run --bin hakana --release test tests

You can run an individual test with cargo run --bin hakana test <path-to-test-dir>