protocol-state

TypeScriptがその呼び出しを許さない：型システムにプロトコル状態を埋め込む方法

Phantom typesと `this` パラメータを使い、違法なプロトコル遷移を実行時のバグではなくコンパイルエラーに変える方法。