deadlocks

會話型別如何將deadlock轉化為編譯器錯誤

會話型別將通訊protocol編碼到你的型別系統中，在程式碼執行之前將訊息傳遞不匹配轉化為編譯器錯誤。