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

【Hackを掌握する極限の知見】PHPの「なんでも屋配列」を捨てよ：`vec`, `dict`, `keyset` がもたらす静的安全性の極致コードレビューの場で、未だにPHP時代の名残である `array` 型を見かけるたび、私はこう問う...

こんにちは！Hack言語の世界へようこそ。チーフアーキテクトの私です。PHPの柔軟な配列（`array`）に慣れ親しんだ開発者にとって、Hackの厳格なコレクション型（`vec`, `dict`, `keyset`）への移行は、最初は少し窮...

Nullableは「欠陥」ではない。型システムが強制する計算の要塞Hack言語において、`?T`（Nullable型）を単なる「値が入っていないかもしれない箱」と捉えているなら、あなたはHHVMが提供する強力な静的解析の恩恵を半分も受けてい...

Nullとの決別：HHVMアーキテクトが教える「型安全な値の取り出し」の極意Hackという言語の最大の武器は、HHVM（HipHop Virtual Machine）という強力な実行基盤の上で、型システムが「嘘をつかない」ことを保証できる点...

こんにちは！Hack言語の世界へようこそ。フルスタックエンジニアの先輩として、今日から君を優しく、そして確実にお導きしますね。他の言語、例えばPHPやJavaScriptからやってくると、「あれ？うっかり変数が `null` だったせいで、...

【Hack言語深層】型推論エンジンの内部機構：なぜ型注釈なしでミリ秒の静的安全性を担保できるのかHHVM（HipHop Virtual Machine）のコアエンジニアリングチームにおいて、我々が常に追求してきたのは「圧倒的な動的言語の開発...

【初心者向け】Hackの型推論エンジンを理解する：型注釈を省略しても安全が担保される仕組み開発チームの皆さん、コードレビューをしていて「なぜここに無駄な型注釈を書いているのか」「推論されるのだからもっとシンプルに書けるはずだ」と感じたことは...

こんにちは！Hack言語の世界へようこそ。他のプログラミング言語、例えばPHPやJavaScriptなどからやってくると、「Hackの型チェッカーって、なんだか厳しそうだな…」「毎回すべての変数に型を書かないといけないの？」と、ちょっと身構...

Hackの型推論エンジンが辿るパス：型チェッカーが変数を特定するまでの内部アルゴリズムHHVM（HipHop Virtual Machine）のアーキテクチャ、そしてHack言語の核心にあるものは、妥協なき「静的型付けの極限追求」だ。動的言...

Hackの型推論エンジンが辿るパス：型チェッカーが変数を特定するまでの内部アルゴリズムコードレビューを始めてくれ。お前らが普段何気なく書いているそのHackのコード、本当に型チェッカーの心を理解して書けているか？「とりあえず `mixed`...