deadlocks

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

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

deadlock本應該是執行時期的問題。這就是讓它們如此煩人的原因。你的程式碼編譯乾淨，測試通過，然後它在生產環境中卡住，因為處理程序A在等待處理程序B，而處理程序B在等待處理程序A。…