research

Session types 確實有效。只是多數語言拒絕實作它們。

Session types 將通訊protocol編碼進型別系統，把執行期protocol錯誤變成編譯期失敗。以下是它們為何在研究論文裡待了三十年，才終於能進入正式產品程式碼。