こんにちは！Hackの世界へようこそ。
PHPから移行してきた方も、新しく静的型付けの世界に飛び込んできた方も、Hackの「厳格な型システム（Strict Mode）」の美しさに日々触れていることと思います。
コードを綺麗に共通化したいとき、私たちはよく「Trait（トレイト）」を使いますよね。コピペをせずに、複数のクラスに同じ処理を「サクッと差し込める」便利な道具です。
しかし、従来の動的言語におけるTraitは、「どのクラスにでも差し込めてしまう自由さ」のせいで、牙を剥くことがありました。
「このTraitは、特定の親クラスを継承している前提のコードなのに、全然関係ないクラスにインポートされて実行時エラー（Fatal Error）になってしまった……」
そんな苦い経験はありませんか？
Hackでは、この問題を静的型チェッカー（`hh_client`）の段階で100%未然に防ぐ、極めてエレガントな仕組みが用意されています。それが今回ご紹介する`require extends`と`require implements`です。
この記事では、この2つの型制約がもたらす「設計の規律」と、その裏側でHHVM（HHVM Virtual Machine）や型チェッカーがどのように動いているのか、優しく、そしてディープに解説します。
ここをクリアすれば、Hackにおける安全なコード再利用（多重継承の安全な実現）はバッチリマスターできますよ！
—
1. トレイトが抱える「自由すぎる恐怖」とHackの解決策
まずは、イメージ図を見てみましょう。
通常、Traitはクラスに「横から差し込まれる（水平なコード再利用）」ものです。
[ Base Class ] (親クラス)
▲
│ (継承)
[ Sub Class ] ◀─── [ Trait ] (横から機能を注入！)
しかし、このTraitの中で「親クラスのメソッド」や「特定のインターフェースの機能」に依存したコード（`$this->someMethod()` など）を書いていた場合、どうなるでしょうか？
もし、まったく関係のない `OtherClass` にこのTraitを `use` してしまったら、プログラムは実行時にクラッシュしてしまいます。
Hackはこの問題を「コンパイル（静的解析）段階で完全にロックする」アプローチを取りました。
- `require extends`: 「このTraitを使うクラスは、絶対に指定したクラスの子クラスでなければならない」と制約します。
- `require implements`: 「このTraitを使うクラスは、絶対に指定したインターフェースを実装していなければならない」と制約します。
これにより、Trait内の `$this` の型が曖昧な「何でもありのオブジェクト」から、「特定の機能