이 논문은 메타프로그래밍을 호출-의해-값 선형 람다 계산법에 통합하고 세션 타입 시스템으로 확장하는 방법을 제안한다.
다중 수준 문맥을 가진 문맥적 모달 타입 이론 모델을 기반으로 한다. 이를 통해 임의의 변수로 닫힌 코드 조각을 박스화하여 메시지로 전송할 수 있다.
수신된 코드 조각은 로컬에서 적용 및 실행될 수 있다.
다양한 예제를 통해 세션 타입 메시지를 통해 주문형으로 코드를 준비하고 전송하는 서버를 보여준다.
선형성은 세션 타입에 중요하지만 현재 메타프로그래밍 모델에는 지원이 부족하다. 따라서 이 논문은 단일 수준 문맥을 가진 호출-의해-값 선형 람다 계산법을 다중 수준 문맥으로 확장한다.
마지막으로 이 언어를 동시성과 세션 타입으로 확장하는 방법을 개략적으로 설명한다.
In eine andere Sprache
aus dem Quellinhalt
arxiv.org
Tiefere Fragen