Hack（编程语言）

定义

Hack 是 Facebook（现 Meta）于 2014 年发布的编程语言，在 PHP 语法基础上加入静态类型系统，运行于 HHVM（HipHop Virtual Machine）虚拟机。

设计背景

Facebook 拥有巨量 PHP 代码，动态类型使大规模重构与静态分析困难。Hack 采用渐进类型（gradual typing）策略：已有 PHP 代码可以直接运行，团队再逐文件、逐函数地补充类型标注，由类型检查器 hh_client 提供近乎实时的增量检查。

语言特性

Hack 支持泛型、可空类型、形状类型（shapes）、集合类型、async/await 异步编程和 XHP（在语言内安全书写 HTML 组件）等特性。后续版本逐渐收紧动态特性，与 PHP 分道扬镳。

意义

Hack 是「给动态语言加静态类型」路线的大规模工业实践，与 TypeScript、Sorbet、mypy 属于同一思潮。