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

こんにちは！大規模なHHVM（HipHop Virtual Machine）環境や、Hackの厳格な型システムと日々格闘している先輩エンジニアです。他の言語からHackの世界に飛び込んで、「あれ、PHPっぽく書けるのに、なぜか型チェッカー（...

JITコンパイラと型情報の相関：型ヒントが実行速度に与える影響の真実HHVM（HipHop Virtual Machine）のアーキテクチャ、そしてHack言語の静的型システムに向き合うとき、我々は常に一つの問いを突きつけられる。「型とは、...

【HHVM内部解剖】JITコンパイラと型情報の相関：型ヒントがパフォーマンスに与える影響の真実コードレビュー中、ジュニアエンジニアからこんな質問を受けたことはないか？「Hackって、どうせPHPの親玉なんだから、``でガチガチに型をつけても...

こんにちは！HHVMの内部構造やHackの静的型システムの深淵を覗くのが楽しくて仕方がない、あなたの身近な（ちょっとオタクな）先輩フルスタックエンジニアです。普段何気なく書いているHackの型ヒントですが、「なぜ型を書くと速くなるのか？」、...

【上級者向け】Type Constantsを用いたインターフェース設計：具象クラスに依存しない型安全なDIHHVM（HipHop Virtual Machine）のランタイム開発、そしてHack言語の静号型システムの設計に関わってきた立場か...

はじめに：なぜ「具象への依存」は型システムの敗北なのかコードレビューをしていて、次のようなDIコンテナやファクトリーのコードに出くすことはないだろうか。// 典型的なアンチパターン：具象クラスがインターフェースを汚染しているinterfac...

こんにちは！Hack言語の世界へようこそ。世界最高峰のHHVMとHackの内部構造を知り尽くした私が、今日も熱い知見をお届けしますね。今回は、他の言語（PHPやJavaなど）からHackに入ってきた開発者が「おっ、これぞHackの真骨頂だ！...

Hack言語の真髄：Taint Analysisによる型システム駆動型セキュリティの極意HHVM（HipHop Virtual Machine）のアーキテクチャ、そして厳格な静的型システム（`` や ``）の極限を理解しているエンジニアであ...

【上級者向け】Taint Analysisを活用したセキュリティ強化：型システムでSQLインジェクションを撲滅するコードレビューをしていて、いまだに「なぜそこにプリペアードステートメントを使わずに文字列結合をしているのか」と指摘する羽目にな...

こんにちは！HHVMの内部構造やHackの型チェッカーの挙動にどっぷり浸かっていると、「型とは単なるデータ構造のラベルではなく、コードの安全性を証明するための数学的な盾である」という実感が湧いてきますよね。他の言語からHackの世界に飛び込...