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

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

【上級者向け】Phantom Typesによるビジネスロジックの型安全化：コンパイル時に状態遷移を保証するテックリードの私だ。コードレビューで「なぜこのメソッドは、未決済の注文に対して出荷処理を呼べてしまうのか？」「バリデーションを通したは...

コンパイル時に「ありえない状態」を消し去る：Phantom Typesでビジネスロジックを鉄壁にするこんにちは。HHVMの深淵を覗き込み、Hackの型システムと日々格闘している皆さんに、一つ上のコードを書くための秘術を伝授します。多くの開発...

Shapeか、Classか：Hackの型システムを掌握し、実行時オーバーヘッドを極限まで削ぎ落とす設計論Hackの型システムは、単なる「バグを防ぐためのガードレール」ではない。HHVMという極めて洗練されたJITコンパイラ上で動作する以上、...

構造的部分型 vs 名前付き型：Hackの型システムを「支配」する境界線Hackのチーフアーキテクトとして、一つだけ断言しておく。「型が合っているから」という理由だけで設計を決めるのは、二流のエンジニアが陥る罠だ。Hackにおける`shap...

こんにちは！Hack言語の世界へようこそ。日々、HHVMの高速なランタイムや厳格な型チェッカーに向き合っていると、「型とは何か？」という本質的な問いにぶつかることありませんか？他の言語（例えばPHPやJavaなど）からHackを学び始めたば...

Hackを掌握する極限の知見：型絞り込み（Type Refinement）の深層とHHVMランタイムの内部メカニズムHHVM（HipHop Virtual Machine）のコアエンジニアリングにおいて、最も美しく、かつ厳格に設計されている...

型絞り込み（Type Refinement）の深層：Hack型チェッカーの内部メカニズムと堅牢な設計コードレビューをしていて、次のような冗長なコードに遭遇したことはないだろうか。// アンチパターン：無駄な型アサーションや不毛なガードが散乱...

こんにちは！Hack言語の世界へようこそ。フルスタックエンジニアの先輩として、今日は皆さんが一段上のエンジニアになるための重要な扉を開けたいと思います。他のプログラミング言語からHackを学び始めた時、「あれ、さっきまで曖昧だった変数の型が...

튜プル（Tuple）がもたらすランタイムの静寂：配列ベースの多重戻り値からの脱却とHHVM内部表現の極限最適化HHVMのアーキテクチャ、そしてHack言語の静的型システムの核心に触れる者であれば、コードベースに潜む「配列による多重戻り値（A...