protocols

Как типы сессий превращают deadlocks в ошибки компилятора

Типы сессий кодируют коммуникационные протоколы в вашей системе типов, превращая несоответствия передачи сообщений в ошибки компилятора до того, как ваш код запустится.