#evidence-passing

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

Algebraic Effects와 Perceus RC를 통한 Zero-cost 효과 시스템 구현