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

例外の静的トラッキング：Hackの `` と型システムが切り拓く「ランタイムの無駄」を排除する設計Hackにおける例外処理の設計において、多くのエンジニアが犯す最大の過ちは「例外を単なるランタイムの制御フロー」として扱うことだ。JVMのよう...

例外を「隠す」な、型で飼い慣らせ：Hackにおける `` の深淵Hack言語を単なる「型付きPHP」だと思っているなら、君のアーキテクチャはすでに脆弱だ。HHVMの型チェッカー（HackC）は、単にコードを走査しているのではない。コードベー...

Hackの「例外」を飼いならせ：``で実現する型安全なエラーハンドリングこんにちは。HHVMの深淵を覗き込み、Hackの型システムと日々格闘しているアーキテクトです。Hackを触り始めた皆さんが、まず最初に「おや？」と首をかしげるポイント、...

型の要塞：大規模Hackコードベースにおける「型エイリアス階層化」の極意Hackという言語は、単なるPHPの進化系ではない。HHVMというJITコンパイルの怪物の上で、厳格な静的型システムを強制する「妥協なき設計」の産物だ。多くのエンジニア...

巨大なコードベースを「型」で支配せよ：Hackにおける型エイリアスの階層化戦略Hackの静的型システムを「単なる記法」だと思っているなら、君はまだこの言語の真の力に触れていない。大規模なコードベースにおいて、型定義が散乱し、`shape()...

やあ。Hackの深淵へようこそ。私はこの言語の心臓部であるHHVMと、その静的型システムを長年見守ってきたアーキテクトだ。君たちが書くコードが、HHVM上でどのようにJITコンパイルされ、型チェッカー（HackC）がどのようにその安全性を保...

HackのTraitにおける`require extends/implements`：型制約による「安全な疎結合」の深淵Hackにおいて、Traitは単なるコードのコピペツールではない。それは、HHVMのJITコンパイル過程において、クラス...

HackのTraitを飼い慣らせ：`require extends/implements`で実現する「静的に保証されたミックスイン」Hackのコードベースを大規模に運用していると、必ず突き当たる壁がある。「機能は共通化したいが、継承階層を汚...

やあ。Hackの深淵へようこそ。HHVMのJITコンパイラが吐き出す機械語の響きと、型チェッカーが鳴らす警告音を子守唄のように愛するエンジニアなら、一度は「Traitの柔軟性と、クラス継承の厳格さの狭間」で悩んだことがあるはずだ。今日は、H...

Enum Classの真実：定数管理という幻想を捨て、型安全なステートマシンを構築せよHackにおける`enum`は、単なる「値のラベル付け」ではない。もし君が単なるラベルとしてEnum Classを使用しているなら、それはHHVMが提供す...