未分類

こんにちは！Hack言語の世界へようこそ。他の言語、例えばPHPやJavaScriptなどからやってくると、「なんでこんなに厳格に型を書かされるんだろう？」「なんだか少し面倒だな…」と感じる瞬間があるかもしれませんよね。でも、安心してくださ...

みなさん、こんにちは！Hackの世界へようこそ。今日も元気にコードを書いていますか？PHPの扱いやすさと静的型システムの安全性を完璧なバランスで融合させた言語、それがHackです。そして、その裏で圧倒的な実行スピードを叩き出している心臓部が...

HHVM JITの深淵：型ガードの動的再評価と「型安全な」高パフォーマンス設計Hack言語の静的型システムを「単なる開発時の補助輪」だと思っているなら、今すぐその認識を改めるべきだ。HHVM（HipHop Virtual Machine）に...

HHVMのJITを極める：大規模Hackアプリケーションの「メモリ消費」を制御せよこんにちは。Hackの深淵へようこそ。日々、大規模なプロダクション環境でHackコードを動かしていると、ある日突然「HHVMがメモリを食いつぶしている」という...

HHVMの深淵：Repo Authoritative Modeとコードキャッシュの極限最適化HHVM（HipHop Virtual Machine）のアーキテクチャ、そしてHack言語の厳格な静的型システムを極限まで駆動させる上で避けて通れ...

ようこそ、Hackの世界へ。そして、プログラムの「深淵」へようこそ。私はHHVM（HipHop Virtual Machine）のコア開発に携わってきたアーキテクトです。普段は型チェッカーの型推論アルゴリズムや、JIT（Just-In-Ti...

HHVMの深淵：例外処理がJIT生成コードを「破壊」するメカニズムコードレビューでよく見かける光景がある。「念のため」とばかりに乱用される `try-catch` ブロックだ。君たちは「例外は稀な事象だからコストは無視できる」と考えていない...

インターフェースの深淵：Hack JITにおけるDevirtualizationの極致Hackの静的型システムを「単なるコードの補助輪」だと考えているなら、それは言語の深淵を半分も覗けていない。我々がHHVMを設計する際、最大のボトルネック...

HHVMの深淵：Repo Authoritative Modeが生む極限のパフォーマンスと、その裏に潜む罠プロファイル駆動型最適化、型チェッカーによる厳密な静的解析、そしてHHVM（HipHop Virtual Machine）。これらが噛...

こんにちは！HHVMとHackのディープで魅力的な世界へようこそ。Hackを書き始めたばかりの皆さんの中には、「HackってPHPに似ているのに、なぜMeta（旧Facebook）のような超巨大インフラを支えられるほど圧倒的に速いんだろう？...