deadlocks

Bagaimana Tipe Sesi Mengubah Deadlock Menjadi Kesalahan Kompilator

Tipe sesi mengenkode protokol komunikasi dalam sistem tipe Anda, mengubah ketidakcocokan pengiriman pesan menjadi kesalahan kompilator sebelum kode Anda dijalankan.