Hack

ようこそ、Hackの世界へ。世界最高峰の言語アーキテクトとして、君がこれからHackの深淵に触れる手助けができることを嬉しく思うよ。Hackの型チェッカー（`hh_client`）は、単なるエラーチェッカーじゃない。あれは君のコードに潜むバ...

型の静的保証は「自由」の対価ではない、HHVMにおけるShape型の真実PHPの連想配列（`dict`）は、その柔軟性ゆえに「型安全性の暗黒領域」と化すことが多い。疎結合なAPIレスポンスを受け取る際、適当な配列を回すコードを書いていないか...

Shape型：動的データの「型なき恐怖」を根絶する唯一の解Hackにおける `dict` は、かつてPHPという泥沼で我々が味わった「キーの打ち間違い」や「存在しないフィールドへのアクセス」という死の淵への招待状だ。プロダクション環境でAP...

こんにちは。Hackという言語の深淵へようこそ。Hackは、PHPという動的な血脈に「厳格さ」という鋼の鎧を纏わせた言語です。今日は、皆さんが現場で最も頻繁に遭遇するであろう「データ構造の迷宮」を、`shape`（シェイプ）という強力な武器...

PHPの「配列」という幻想を捨てよ：Hackコレクション型がもたらすメモリと型の真実PHPの `array` は便利だ。だが、それはエンジニアにとっての「毒」でもある。ハッシュマップとインデックス配列が不可分に融合し、メモリを浪費し、静的解...

PHPの亡霊を葬れ：Hackのコレクション型で実現する「型安全」という名の正義現場のコードレビューで、未だに `array` を見かけるたびに溜息が出る。「なんでも入る箱」は、プログラマの怠慢を許容するゴミ箱だ。PHPの配列は、連想配列であ...

こんにちは。HHVMアーキテクチャの深淵を日々覗き込んでいる、Hackのチーフアーキテクトです。PHPの「なんでも入る配列」に慣れ親しんだ皆さんが、Hackの門を叩くとき、最初にぶつかる壁が「コレクション型」です。しかし、この壁こそが、あな...

Null安全の深淵：Hackコンパイラが「静的解析」で実現するメモリの防壁Hackの`strict`モードにおいて、`?T`（Nullable型）は単なる糖衣構文ではない。これは、HHVMのJITエンジンが生成するマシンコードの信頼性を担保...

Nullという「現代の設計における最大の負債」をHackで完全に駆除するHackのコードベースにおいて、`null`に対する甘い認識は「死」と同義だ。かつてCやJavaで我々が味わったあの忌々しいNullPointerException（N...

やあ。Hackの世界へようこそ。私はHHVMの深淵で、日々型チェッカーと戯れているアーキテクトだ。君が今踏み入れたHackという言語は、単なるPHPの進化系ではない。堅牢な型システムとHHVMという高速な実行エンジンが融合した、極めて高度な...