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

← 피드로

Prism은 가변 변수, 예외, 스트림 같은 효과를 숨기지 않고 타입에 드러내면서도, 외부에 관찰되지 않는 지역 변경은 Int -> Int 같은 순수 타입으로 유지하는 실험적 컴파일러임 핵심은 대수적 효과 핸들러와 행 다형성(row polymorphism)으로, 효…

원문 보기 ↗