Hack 【入門編】HHVM型チェッカーの内部構造：型推論エンジンはどのようにコードを解析しているのか – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
HHVM型チェッカーの深淵を覗く：静的型システムの「思考」を解剖するこんにちは。Hackの深淵を日々探求しているチーフアーキテクトです。皆さんはHackでコードを書くとき、`hh_client`が瞬時にエラーを指摘してくれることに感謝したこ...
Hack言語 コア・静的型システムとHHVMのアーキテクチャ
Hack Hack 【テクニカル・上級編】HackのStrict Modeにおける`mixed`型の排除と型安全性の最大化 – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
境界なき型の終焉：`mixed`を追放し、Hackの型安全性を極限まで高めるアーキテクチャ設計Hack言語において、`mixed`という型は「逃げ道」であり、同時に「技術的負債の種」である。多くの開発者が利便性のためにこれを許容するが、HH...
Hack 【実務・中級編】HackのStrict Modeにおける`mixed`型の排除と型安全性の最大化 – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
`mixed`という名の「時限爆弾」を捨て去れ：Hack Strict Modeで到達する型安全の極致Hackのコードベースで `mixed` を見かけるたび、私は「なぜこの開発者はコンパイラという強力な味方を敵に回すことを選んだのか」と自...
Hack 【入門編】HackのStrict Modeにおける`mixed`型の排除と型安全性の最大化 – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
やあ。Hackの深淵へようこそ。HHVMのエンジンの鼓動を感じながら、型システムと対峙する日々を送っているかな？Hackを扱う上で、多くの開発者が最初にぶつかる壁であり、同時に「Hackの真髄」とも言えるのがStrict Mode（厳格モー...