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

HHVM型チェッカーの深淵へ：大規模モノレポを「一瞬」で型安全にするIncremental Checkの極意Hackという言語は、単なる「PHPの型付きラッパー」ではない。HHVMのJITコンパイラと密結合し、静的解析が実行時パフォーマンス...

大規模モノレポを制する：HHVM型チェッカーの「Incremental Check」を極めるアーキテクチャ設計皆さん、こんにちは。Hackの深淵へようこそ。大規模なモノレポで開発していると、コードを書くたびに型チェック（`hh_client...

型の崩壊を許さない：Hackのジェネリクスにおける変位（Variance）の深淵Hackの型システムは、単なる「静的チェックの補助輪」ではない。HHVMという極めて高速な実行エンジン上で、メモリ安全性を担保しつつ、JITコンパイルの最適化を...

境界を支配せよ：Hackにおける変位（Variance）と型安全性の深淵Hackの型システムを「PHPの単なる補強」と捉えているなら、君の設計は未完成だ。我々が構築したこの言語は、単に実行時のエラーを減らすためのものではない。コンパイル時の...

ジェネリクスの深淵へ：Hackにおける「変位（Variance）」の正体と型安全性の極意こんにちは。HHVMの深淵を覗き込み、Hackの型システムと日々対話している開発者です。Hackを触り始めると、必ず一度は「なぜこの型は代入できないのか...

Phantom Types: 実行時チェックを抹殺し、コンパイル時に「ビジネスの論理」を強制する多くのエンジニアが「型」を単なるデータ構造のメタデータと勘違いしている。しかし、Hackにおける静的型システムは、単なるメモリーレイアウトの制約...

型システムは「ドキュメンテーション」ではない。「契約」である。Hackの``モードを使いこなしているつもりでも、単に「値に型を付けているだけ」ならば、それはまだHackの真価を半分も引き出せていない。多くのエンジニアが犯す過ちは、状態遷移を...

やあ。Hackの深淵へようこそ。HHVMの型チェッカー（hh_client）の挙動を日々追いかけていると、多くの開発者が「実行時のバリデーション」に膨大なテストコードを費やしている事実に気づかされます。「なぜ、その状態が許容されないのか」を...

Hackにおける構造的型付けと公称的型付けの深淵：Shapeか、InterfaceかHackの静的型システムは、単なる「バグ防止ツール」ではない。それはHHVMのJIT（Just-In-Time）コンパイラが機械語を生成するための、極めて厳...

Hackの構造的型付けと公称型：設計の「境界」を支配するアーキテクトの思考法Hackのコードベースで最も頻繁に目にする「設計の迷い」がある。それは、「このデータ構造をShapeで受けるべきか、それともInterfaceを定義すべきか」という...