선형 계산에서 임의 함수자(Arbitrary Functors)를 양상(Modalities)으로

요약

본 연구는 선형 람다 계산에서 양상(Modalities)을 다루며, 이를 모노이달 폐쇄 범주 내의 엔도함수자로 해석합니다. 곱에 대해 분배되지 않는 함수자 및 임의 자연 변환을 지원하여 일반적인 범주론적 의미론과 자원 의미론을 제공합니다. 궁극적으로 양상을 가진 미래 프로그래밍 언어의 기반을 마련하는 것을 목표로 합니다.

핵심 포인트

• 선형 람다 계산에서 양상(Modalities) 연구
• 모노이달 폐쇄 범주 내 엔도함수자로 해석
• 자원 의미론을 통한 평가 및 정규형화 도출
• 양상을 가진 미래 프로그래밍 언어의 기반 제공