Как типы сессий превращают deadlocks в ошибки компилятора
Типы сессий кодируют коммуникационные протоколы в вашей системе типов, превращая несоответствия передачи сообщений в ошибки компилятора до того, как ваш код запустится.
Deadlocks должны быть проблемой времени выполнения. Именно это их так раздражает. Ваш код компилируется чисто, ваши тесты проходят, а затем он застревает в…