compile-time

세션 타입이 deadlock을 컴파일러 오류로 바꾸는 방법

세션 타입은 통신 프로토콜을 타입 시스템에 인코딩하여 코드가 실행되기 전에 메시지 전달 불일치를 컴파일러 오류로 변환한다.