동일한 공효과, 다른 기반: 등급 타입(Graded Types)의 두 가지 주요 접근 방식 연결

요약

등급 타입(Graded Types)의 두 가지 주요 계보인 graded-base와 linear-base 사이의 관계를 규명하는 연구입니다. 두 시스템 간의 타입, 등급 및 연산 의미론을 보존하는 번역법을 증명하여 두 접근 방식 사이의 이론적 연결 고리를 제공합니다.

핵심 포인트

• graded-base와 linear-base라는 두 가지 등급 공효과 시스템 계보 분석
• 두 계보 사이의 타입, 등급 및 연산 의미론 보존을 증명하는 번역 제공
• 동일한 문맥 의존성 개념이 두 스타일 모두에서 표현 가능함을 입증
• 언어 설계자들에게 더 나은 설계 선택을 위한 이론적 근거 제시