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

Prism은 타입 지정 효과를 가진 비순수 함수형 언어이다.

Prism은 타입 시스템을 통해 가변 변수와 예외 등의 효과를 드러내는 비순수 함수형 언어입니다. 이 언어는 외부에서 관찰할 수 없는 지역적 변경을 보호하면서도 순수 타입으로 유지하는 실험적 컴파일러로, 대수적 효과 핸들러와 행 다형성을 핵심으로 합니다. 이러한 특징은 개발자에게 더욱 안전하고 유연한 프로그래밍 환경을 제공합니다.

Prism is an experimental non-pure functional language with type effects.

Prism is an experimental compiler for a non-pure functional language that reveals effects like mutable variables and exceptions through its type system. It maintains pure types for local changes that are unobservable from the outside, focusing on algebraic effect handlers and row polymorphism as its core features. These characteristics aim to provide developers with a safer and more flexible programming environment.