Hack 【テクニカル・上級編】Hackの型推論エンジンが辿るパス：型チェッカーが変数を特定するまでの内部アルゴリズム – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
Hack型推論の深淵：HHVM TypecheckerがASTを走査し「型」を確定させる内部アルゴリズムの全貌HHVM（HipHop Virtual Machine）のコアエンジニアリングチームにおいて、最も美しく、かつ容赦のないコンポーネ...
Hack言語 コア・静的型システムとHHVMのアーキテクチャ
Hack Hack 【実務・中級編】Hackの型推論エンジンが辿るパス：型チェッカーが変数を特定するまでの内部アルゴリズム – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
Hackの型推論エンジンが辿るパス：HHVM型チェッカーは如何にして変数を特定するのかテックリードの私だ。コードレビューの際、「なぜこの記述だとHHVM（HipHop Virtual Machine）の型チェッカーが悲鳴を上げるのか」「どう...
Hack 【入門編】Hackの型推論エンジンが辿るパス：型チェッカーが変数を特定するまでの内部アルゴリズム – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
こんにちは！HHVMとHack言語の深淵へようこそ。世界最高峰のコアコミッターとして、日頃からこの言語の心臓部である型チェッカーやVMの挙動を見つめている私ですが、今回は「Hackの型推論エンジンが内部でどう動き、変数の正体を暴いているのか...
Hack 【テクニカル・上級編】Hackにおける『Value Object』の設計パターン：型システムでドメインを表現する – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
Hackを掌握する極限の知見：Value Objectパターンと静的型システムの限界突破HHVM（HipHop Virtual Machine）のアーキテクチャ、そして厳格な静的型システム（Strict Mode）の深淵へようこそ。私は長年...
Hack 【実務・中級編】Hackにおける『Value Object』の設計パターン：型システムでドメインを表現する – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
プリミティブへの依存は、ドメインモデルの死を意味するコードレビューをしていて、最も背筋が凍る瞬間はどんなときか。それは、決済金額やユーザーID、メールアドレスといったビジネスの根幹をなすドメイン概念が、単なる `int` や `string...
Hack 【入門編】Hackにおける『Value Object』の設計パターン：型システムでドメインを表現する – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
こんにちは！Hack言語の世界へようこそ。フルスタックエンジニアの先輩として、今日は皆さんにHackの真髄、そして型システムを極限まで活かした「Value Object（値オブジェクト）」の設計パターンについてお話ししますね。他の言語からH...
Hack 【テクニカル・上級編】HHVMのJITコンパイラと型情報の相関：型ヒントが実行速度に与える影響の真実 – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
HHVMとHack型チェッカーの共生：静的型情報がJITコンパイラの限界を突破するメカニズムHHVM（HipHop Virtual Machine）およびHack言語の設計において、最も誤解されている神話の一つが、「静的型情報はコンパイル時...
Hack 【実務・中級編】HHVMのJITコンパイラと型情報の相関：型ヒントが実行速度に与える影響の真実 – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
はじめに：コードレビューで「なんとなく型をつける」を卒業せよテックリードの私が生コードレビューで最も絶望するのは、「とりあえずHHVMに怒られないようにするために `mixed` や `?array` を並べ、`Shapes::idx` で...
Hack 【入門編】HHVMのJITコンパイラと型情報の相関：型ヒントが実行速度に与える影響の真実 – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
こんにちは！Hack言語の世界へようこそ。他の言語、例えばPHPやJavaScriptからやってきた開発者にとって、Hackの厳格な静型システム（Strict Mode）と、その裏でうごめくHHVM（HipHop Virtual Machi...
Hack 【テクニカル・上級編】Hackの『Attribute』を活用したコード生成と型安全性の両立 – Hack言語 コア・静的型システムとHHVMのアーキテクチャ解析バイブル
Hackを掌握する極限の知見：Attribute駆動メタプログラミングと静的型安全性の極北HHVM（HipHop Virtual Machine）のコアエンジニアリングにおいて、最大の命題は「動的な表現力」と「鉄壁の静的型安全性」のゼロコス...