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.
