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

Nullableの迷宮を抜け出せ：Hackの型絞り込みを極める「型安全の極意」Hackのコードベースをレビューしていて、最も「素人臭さ」を感じるのが `??` や `?:` を乱用した防御的コーディング、あるいは無意味な `if ($x !...

Hackの世界へようこそ。HHVMの深淵から見上げると、コードは単なる文字列ではなく、静的型システムという名の「証明」の積み重ねに見えてくるはずです。今回は、Hackにおける「Nullable型のハンドリング」、つまり `?T` とどう向き...

型の牢獄か、あるいは聖域か：ShapeとEnumで構築する「壊れない」ドメインモデルHackのStrict Mode（``）は、単なる静的型付けのツールではない。それは、HHVMという極限まで最適化されたランタイムの上で、「実行時の不確実性...

Hackの真髄：ShapeとEnumで構築する「型安全なドメイン」の極意Hackという言語の真価は、PHPの柔軟な動的性を「コンパイル時に完全に封じ込める」厳格な型システムにある。多くのエンジニアがHackを使いながらも、連想配列（arra...

こんにちは。Hackの深淵へようこそ。HHVMのエンジンの鼓動を感じながら、堅牢なシステムを構築する喜びを共有できることを嬉しく思います。今回は、Hackの真骨頂である「Shape型」と「Enum」を組み合わせたドメインモデリングについて、...

具象化の深淵：Hackにおける `reified` ジェネリクスとHHVMの型管理メカニズムHackにおいて、ジェネリクスは単なる「コンパイル時の糖衣構文」ではない。多くの言語が型消去（Type Erasure）という逃げ道に頼る中、我々は...

虚像のGenericsを捨てよ：Hack `reified` がもたらす「型安全な実行時」の深淵Hack言語の型システムにおいて、多くのエンジニアが陥る罠がある。それは「Genericsはコンパイル時に消去される（Type Erasure）...

Hackの「型」を現実に引き寄せる：reified Genericsが拓く実行時の魔法こんにちは。Hackの深淵へようこそ。日々コードを書いていると、「このジェネリクス型、実行時に何が入っているか分かればいいのに…」と歯痒い思いをすることは...

鉄の規律と型推論：HHVM型チェッカー（HackC）の深淵を覗くHackという言語は、単なるPHPの「厳格な兄弟」ではない。それは、大規模なコードベースにおける「正しさ」を、実行時ではなくコンパイル時に確定させるための、緻密に計算された工学...

HHVM型チェッカーの深淵：なぜあなたのコードは「正しい」と証明されるのかHackの型チェッカー（`hh_client` / `hh_server`）を単なる「構文チェックツール」だと思っているなら、それは大きな誤解だ。我々が構築したのは、...