Tipe sesi bekerja. Kebanyakan bahasa hanya menolak untuk mengimplementasikannya.
Tipe sesi mengenkode protokol komunikasi dalam sistem tipe, mengubah kesalahan protokol runtime menjadi kegagalan waktu kompilasi. Berikut mengapa mereka menghabiskan tiga puluh tahun di makalah penelitian sebelum kode produksi dapat menggunakannya.
Tipe sesi ditemukan pada tahun 1993. Tiga puluh tahun kemudian, sebagian besar layanan jaringan masih memvalidasi status protocol dengan pemeriksaan runtime…