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

抽象の深淵：Type Constantsが実現するHHVMレベルの型安全性とDIの真実Hackにおける `type` コンスタントは、単なるメタデータではない。HHVMの型チェッカー（hh_client）がコンパイル時に解決する「静的な型束...

型の「幽霊」を追うな：Type Constantsによる疎結合DIの極致HackのStrict Modeで開発している諸君、君たちはまだ「具象クラス」に依存したDIコンテナで疲弊しているのか？`Container::get(Database...

こんにちは。Hackの深淵へようこそ。HHVMのJITコンパイルの熱量と、型チェッカー（HackC/HHCC）がコードを解析する際の静寂を感じる日々を送っている皆さんに、今日は少しだけ「設計の美学」について話をしようと思います。Hackの真...

HackのTaint Analysis：型システムによる「防御の自動化」という究極解我々が日々向き合っているHHVMとHackは、単なるWeb開発のためのツールではない。型システムそのものを、ランタイムを保護する「要塞」へと変貌させるための...

境界線を型で制する：HackのTaint AnalysisでSQLインジェクションを撲滅するHHVMの深淵を覗く諸君、コードレビューで「この変数はサニタイズしたか？」と繰り返す日々に別れを告げる準備はできているか。Hackにおける「Stri...

皆さん、こんにちは。HHVMの深淵を覗き込み、Hackの型システムと日々対話しているアーキテクトです。今日は、Hack言語が誇る「最終兵器」の一つ、Taint Analysis（汚染解析）について深掘りしていきましょう。SQLインジェクショ...

Hackの再帰型（Recursive Types）を掌握する：型チェッカーの深淵とメモリ安全性の極致Hackの型システムは、単なる「型のラベル付け」ではない。HHVMのJITコンパイラと密接に連携し、実行時における型推論のコストを最小化しつ...

再帰の深淵を制御せよ：HackにおけるRecursive Typesの設計と「死なない」再帰の極意Hackの型システムにおいて、再帰型（Recursive Types）は諸刃の剣だ。木構造やネストされたグラフデータを扱う際、型定義を誤ればH...

こんにちは。HHVMの深淵を覗き込み、Hackという言語の血流そのものに触れてきた者として、今日は皆さんに少し「深い」話をしましょう。Hackの厳格な型システム（Strict Mode）は、単なる「エラーを防ぐ網」ではありません。それは、コ...

HHVM型チェッカーを掌握せよ：大規模モノレポにおけるIncremental Checkの極限最適化Hackの型チェッカー（`hh_client` / `hh_server`）は、単なる静的解析ツールではない。あれは、数百万行におよぶAST...