Slack、PHP 5からHHVM上のHacklangへ全面移行

Slackは2014年のローンチ時、バックエンドをPHP 5で構築していた。PHP 5には戻り値の型注釈、クラスプロパティの型注釈、スカラー型の注釈を行う仕組みがなく、型に関する問題は実行時にしか発見できなかった。事業拡大に伴い、こうした型安全性の欠如が開発生産性の課題として顕在化していった。

Slackは2016年、Facebook製の仮想マシンHHVM上へバックエンドを移行し、HHVMが提供する静的型付け言語Hack(Hacklang)を採用した。移行は段階的に進められ、まず型注釈を部分的にしか行わない「partial mode」からスタートし、ファイルが完全に型付けされた段階で「strict mode」に切り替えていく方式を取った。さらにHackの機能を活用した。

• 「Shapes」機能で複雑なデータ構造を型安全に表現できるようにした
• 「async/await」パターンによりマルチスレッドを使わずにマルチタスキングを実現する仕組みも活用した

移行の結果、型チェッカーがコード入力から数ミリ秒後にはエラーを検出できるようになり、テストを実行する前の時点で「大抵うまく動く」状態を実現できた。あわせて全エンドポイントでレイテンシの大幅な低下も観測されたと報告されている。