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

Recursive Typesの極限：HHVM型チェッカーの境界線と安全な再帰的データ構造の構築HHVM（HipHop Virtual Machine）のアーキテクチャ、そしてHackの静的型システムの深淵へようこそ。私は長年、このランタイ...

【上級者向け】Hack言語におけるRecursive Typesの極意：木構造と再帰的データ構造の厳格な型安全設計コードレビューをしていて、お前らが持ち込む「JSONパーサーの出力結果」や「ネストした抽象構文木（AST）」の型定義を見るたび...

こんにちは！HHVMの内部構造やHackの厳格な型システムに魅せられた皆さん、日々のコーディング楽しんでいますか？他のプログラミング言語、例えばTypeScriptやJava、RustあたりからHackの世界に飛び込んできた開発者が、最初に...

【上級者向け】HHVM型チェッカーのIncremental Checkの最適化：大規模モノレポにおける型チェック時間の短縮術数百万行を超えるHackのコードベースを管理するシニアエンジニアやアーキテクトであれば、一度は絶望したことがあるはず...

HHVM型チェッカーのIncremental Checkの最適化：大規模モノレポにおける型チェック時間の短縮術テックリードの私たちがコードレビューで最も恐れるのは、表面的なバグの混入ではない。それは「システムのスケールに伴うフィードバックル...

こんにちは！大規模なコードベースで日々開発を頑張っている皆さん、こんにちは。他の言語（PHPやTypeScriptなど）からHackの世界へ飛び込んできた方にとって、あの強力で容赦のない「Strict Mode（厳格モード）」と「HHVM型...

【上級者向け】共変（Covariance）と反変（Contravariance）の完全理解：ジェネリクス型における代入ルールの正体HHVMのコアを統括するアーキテクトとして、日頃から多くのコードベースを見てきたが、依然としてシニアエンジニア...

【Hack極限知見】共変・反変の完全理解：ジェネリクス型における代入ルールの正体コードレビューをしていて、次のような型エラーに頭を抱えたことはないか？> "Expected `MyProducer`, got `MyProducer` in...

こんにちは！HHVMの内部構造やHackの厳格な型システムの底知れぬ魅力に憑りつかれたあなたなら、日々の開発で「おっ、ここで型エラーか……」とニヤリとすることも多いのではないでしょうか。今回は、Hackの静的型チェッカー（Typecheck...

コンパイル時状態遷移の強制：Phantom Typesでビジネスロジックを型システムに焼き込むHackの型チェッカー（HHVM Typechecker）を単なるエラー検出器と捉えているなら、君はまだこの言語の真髄に触れていない。型システムは...