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.
Deadlock seharusnya menjadi masalah runtime. Itulah yang membuatnya sangat menjengkelkan. Kode Anda dikompilasi dengan bersih, pengujian Anda lulus, dan…