Prism: 타입 지정 효과를 갖춘 비순수 함수형 언어

Context

기존 함수형 언어의 Monad Transformer 스택은 수동 계층 관리로 인한 복잡도가 높으며, 대수적 효과의 일반적 구현은 Free Monad 기반의 잦은 셀 할당으로 성능 저하를 유발함. 이를 해결하기 위해 효과를 타입 시스템에 통합하고 컴파일 타임에 비용을 제거하는 구조적 접근이 필요함.

Technical Solution

• Row Polymorphism 기반의 효과 행 설계를 통해 함수 타입에 효과를 집합 형태로 표시하고 구조적 합성이 가능하도록 구현
• Evidence Passing 기법을 도입하여 핸들러 탐색 과정을 일반 매개변수 전달로 최적화함으로써 연산당 할당 비용을 O(handlers) 수준으로 제거
• Perceus 참조 카운팅과 Frame-limited Reuse를 결합하여 고유 소유 값의 함수형 갱신을 In-place Update로 컴파일
• Optic Paths를 제어 구조로 정의하여 중첩 레코드 갱신 시 Spine 재구성을 최소화하고 포인터 쓰기 수준의 성능 확보
• Interprocedural Flow Analysis를 통해 스트림 파이프라인의 Effect Evidence를 계산하고 전체 체인을 단일 루프로 Lowering
• Bidirectional Higher-rank 타입 추론을 적용하여 고차 다형성 환경에서도 타입 서명 생략이 가능한 유연성 확보