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

【Hackコア知見】`where`句によるジェネリクスの制約強化：HHVMランタイムを欺かない型安全な抽象化HHVMのパイプラインにおいて、Hackの静的型チェッカー（hh_client）は単なる開発支援ツールではない。それはJITコンパイ...

Hackを掌握する極限の知見：`where`句によるジェネリクスの制約強化と型安全な抽象化テックリードの私だ。コードレビューの際、「なぜこのジェネリクスは `mixed` や不要なキャストまみれになっているのか？」と溜息をついたことはないだ...

こんにちは！Hack言語の世界へようこそ。世界最高峰のHHVMと厳格な型システムが生み出す圧倒的なパフォーマンスと安全性、その魅力にどっぷり浸かっている頃ではないでしょうか。他のオブジェクト指向言語（PHP、Java、C#など）を経験した方...

型エラーメッセージの解読術：HHVM型チェッカーが示すヒントから根本原因を特定する然るべきコードベースにおいて、`hh_client` が吐き出す赤色のエラーログは、単なる邪魔者ではない。それは、HHVM（HipHop Virtual Ma...

【Hackを掌握する極限の知見】型エラーメッセージの解読術：HHVM型チェッカーが示すヒントから根本原因を特定する開発プロジェクトのテクニカルリードとしてコードレビューをしていると、HHVM（HipHop Virtual Machine）の...

こんにちは！Hack言語の世界へようこそ。他のプログラミング言語からやってくると、最初に立ちはだかる高い壁……それがHHVM（HipHop Virtual Machine）の型チェッカーが発する「型エラーメッセージ」ですよね。「なんだか難し...

Shape型によるAPIレスポンスの型定義：連想配列を構造化データという名の「幻影」から解放せよHHVM（HipHop Virtual Machine）のコアエンジンの深淵を覗いた者であれば、PHPの`array`がいかに脆弱で、メモリ効率...

【Hackを掌握する極限の知見】Shape型でJSONレスポンスを征服する：動的データ構造の静的要塞化コードレビューをしていて、未だに外部APIからのレスポンスをただの `array` や `dict` として扱っているコードに出くわすと、...

こんにちは！Hack言語の世界へようこそ。普段、他の動的言語や、ちょっと緩めの型システムを持つ言語から入った方にとって、外部APIから返ってくるJSONデータをどう扱うかは最初の大きな壁になりがちですよね。「とりあえず連想配列（array）...

PHP配列という名のパンドラの箱：なぜ我々は`vec`, `dict`, `keyset`へ魂を売らねばならないのかHHVM（HipHop Virtual Machine）のアーキテクチャ設計およびHack言語のコア開発に長年携わってきた私...