Yarrow: 효과 핸들러(Effects Handlers)와 리전 기반 메모리 관리(Region-Based Memory Management)의

요약

대수적 효과와 리전 기반 메모리 관리를 결합한 새로운 ML 스타일 언어 Yarrow를 소개합니다. 멀티샷 효과 핸들러 환경에서도 리전의 안전성을 보장하는 새로운 프로그램 로직인 Yarrow Logic(YL)을 제안합니다.

핵심 포인트

• 대수적 효과와 리전 기반 메모리 관리의 조화로운 통합
• 멀티샷 효과 핸들러 상황에서도 안전한 리전 추론 지원
• Yarrow Logic(YL)을 통한 운영 의미론의 건전성 증명
• 체크포인팅 및 비동기 계산 등 다양한 사례 연구의 정확성 검증
• 가비지 컬렉션 없이 효율적인 메모리 관리 가능