Hack言語 コア・静的型システムとHHVMのアーキテクチャ

PHPの「配列」という名の亡霊を葬る：Hackのコレクション型がもたらすメモリと型安全の真実PHPの `array` は便利だ。だが、それは「便利さ」という名の技術的負債を、我々のランタイムに毎日積み上げているに過ぎない。歴史的に、PHPの...

PHP配列という「負債」からの脱却：Hackコレクションがもたらす型安全とパフォーマンスの真実PHPの配列（`array`）は、ある種のマジックボックスだ。リストであり、マップであり、セットでもある。しかし、その万能さは「予測不可能性」の代...

PHPの「闇」からHackの「光」へ：`vec`, `dict`, `keyset` がもたらす型安全の真実こんにちは。Hackの深淵を覗き込み、HHVMの心臓部を日々チューニングしているアーキテクトです。PHPの歴史において、`array...

HHVMの深淵：型ヒントは単なる「お守り」ではない、JITを加速させる「指針」であるHackのコードベースで`

HHVMの深淵：型ヒントがJITを覚醒させるメカニズムHackのコードを書く際、あなたは「型ヒント」を単なるIDEの補完用やドキュメント代わりだと思っていないか？もしそうなら、それはHHVMという猛獣の牙を抜いているのと同じだ。HHVMのJ...

こんにちは。HHVMの深淵を覗き込み、Hackの静的型システムの美しさに魅了されている皆さん。今日は、Hackがなぜ「ただのPHPの親戚」ではないのか、その真髄である「型情報とJITコンパイルの共鳴」についてお話しします。多くの人は「型を書...

Hackの型システムをハックする：静的解析の拡張による「意味論的」制約の強制Hack言語における`strict`モードは、単なる型安全性の確保という枠組みを超え、プログラムの「正しさ」をコンパイルタイムで証明するための数学的基盤だ。しかし、...

型は「お守り」ではない、設計の「契約」だ：Hack型チェッカーを拡張する静的解析の深淵Hack言語を単なる「型のあるPHP」だと思っているなら、君の設計はまだ半分しか活かされていない。我々がHHVMと共に作り上げたこの言語は、単にランタイム...

Hackの型システムを「支配」する：カスタム制約でビジネスロジックを静的に固定せよやあ。Hack言語の世界へようこそ。Hackを使っている君なら、きっと「型チェック」の恩恵は実感しているはずだ。`HH_FIXME`で誤魔化すような無責任なコ...

究極の型安全を求めて：Hack `enum class` がもたらすランタイムの静寂Hackのコードベースを深淵まで探求する諸君。日々の開発で「文字列の魔法」や「無意味な型キャスト」に時間を浪費していないか。HHVMのJITコンパイラは、コ...