대수적 효과
프로그램의 부작용(Side effects)을 추상화하여 제어 흐름을 유연하게 관리하는 프로그래밍 기법이다. 예외 처리나 상태 관리 등을 함수형 프로그래밍 방식으로 다룰 수 있게 하며, 복잡한 시스템 언어에서 코드의 가독성과 재사용성을 높이는 데 기여한다.