hakana

하카나

Hakana는 Slack에 의해 구축 된 Hack의 타이치 커커입니다.

공식 타이 키커의 범위를 넘어서 추가 통찰력을 제공하여 HHVM과 번들로 제공되는 기존 Hack TypeChecker를 보완합니다.

Hakana의 주요 목표는 코드베이스에서 정확한 유형을 추론하고 빠르게 수행하는 것입니다.

좋은 타입 추론은 Hakana가 다른 몇 가지 귀중한 일을 할 수 있습니다.

• 보안 분석
• 맞춤형 인식 마이그레이션
• 잠재적 논리 버그 감지
• 죽은 코드의 발견 및 제거

비가가

이는 Hack의 기본 타자기를 대체하기위한 것이 아니며, 이는 유형 추론과 즉시 관련이없는 추가 기능 (예 : 컨텍스트 및 기능)을 지원합니다.

이 도구는 모든 Keypress에서 실행되도록 설계되지는 않지만 사내 검사를 지원하는 언어 서버가 있습니다.

소스에서 건물

이 저장소를 복제하고 아직 녹지 않은 경우 녹과화물을 설치하십시오.

HHVM이 존재하는지 확인하기 위해 git submodule init && git submodule update 실행하십시오 (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>