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

【Hack言語・型設計の極み】Tuple型による複数戻り値の分解：配列ベースの地獄からの脱却コードレビューをしていると、未だにPHP時代の悪しき慣習を引きずったコードに出くわすことがある。その代表格が、複数の値を返すために配列（`array...

こんにちは！Hackの静的型システムとHHVMの裏側の世界へようこそ。チーフアーキテクトの私です。他のプログラミング言語からHackの世界に飛び込んできた開発者の多くが、最初に「おや？」とつまずくポイント、そして同時にHackの美しさに魅了...

【Hackを掌握する極限の知見】カスタムAttributeによる静的解析の拡張：型チェッカーの内部構造をハックするHHVM（HipHop Virtual Machine）とHack言語のコアを長年見つめてきた者にとって、静的型システムとは単...

【Hackを掌握する極限の知見】カスタムAttributeによる静的解析の拡張：プロジェクト固有のコーディング規約を型チェッカーに教え込むテックリードとしてコードレビューを行っていると、次のようなフラストレーションに直面しないだろうか。「こ...

こんにちは！Hack言語の世界へようこそ。世界最高峰のHHVMアーキテクチャや、あの厳格な静的型チェッカーの息吹を感じながらコードを書く毎日は、型フェチのエンジニアにとってたまらないものですよね。今回は、中級者の一歩先を行くあなたへ向けて、...

【Hackを掌握する極限の知見】`throws`アノテーションの設計と運用：例外を型システムに屈服させる方法HHVM（HipHop Virtual Machine）の底流を流れる静的型システムにとって、最も排除すべき「不確定要素」は何だと思...

【Hackを掌握する極限の知見】`throws`アノテーションの設計と運用：例外を型システムに服従させる方法コードレビューの場で、次のようなコードを見かけて絶望したことはないだろうか。// 悪夢のようなプロダクションコードの残骸async ...

こんにちは！フルスタックエンジニアの先輩です。今日は、Hack言語における極めて強力な武器、`throws`アノテーションのお話をしちゃいますね。他の言語（例えばPHPやPythonなど）からHackの世界に飛び込んできたとき、こんなモヤモ...

大規模Hackプロジェクトにおける型定義の階層化と名前空間戦略：コンパイラを欺かないための極限の型管理HHVM（HipHop Virtual Machine）のJITコンパイルパイプラインと、厳格な静的型チェッカー（hh_client）の挙...

型の迷宮を断つ：大規模Hackプロジェクトにおける名前空間と型エイリアスの極限設計テックリードの私だ。コードレビューのたびに、野放図に散らばった `type` 定義や、どこからでもインポートされるグローバルな型エイリアスを見て頭を抱えていな...