protocol-state

TypeScript 會擋下非法呼叫：在型別系統中編碼protocol狀態

如何運用 phantom types 與 `this` 參數，將非法的protocol轉換變成編譯期錯誤，而非執行期缺陷。