**효과 시스템(effects system)**은 함수 호출과 예외 처리, 비동기 프로그래밍의 제어 흐름을 일반화한 개념으로, 함수가 실행 중 특정 지점에서 제어를 다른 코드로 넘기고 다시 복귀할 수 있게 합니다.

Effekt와 Koka 같은 연구용 언어들은 이러한 효과 시스템을 구현하여, 예외 처리나 async/await를 언어 내장 기능이 아닌 라이브러리 수준에서 유연하게 다룰 수 있도록 합니다. 특히, 효과 핸들러는 예외 발생 시 복구하거나 비동기 작업을 중단했다가 재개하는 등의 복잡한 흐름 제어를 가능하게 하며, 이 과정에서 상태를 저장하고 나중에 재개할 수 있는 resume 기능이 핵심입니다.

또한, 효과 시스템은 **의존성 주입(dependency injection)**과도 유사하게 동작하여, 특정 효과를 처리하는 핸들러가 존재하는 범위 내에서만 해당 효과를 사용할 수 있게 하며, 이를 통해 코드의 구조적 안전성과 명확한 의존성 관리를 지원합니다.

기존 언어들의 예외 처리, 비동기 함수, 클로저, 코루틴 등은 모두 제어 흐름을 점프시키는 일종의 효과 시스템의 특수한 형태로 볼 수 있으며, 효과 시스템은 이를 통합하고 일반화하여 더 강력하고 표현력 있는 프로그래밍 모델을 제공합니다.

마지막으로, 효과 시스템 도입 시 문법적 변화는 크지 않으며, Swift 같은 언어에도 기존의 throws, async 키워드와 유사한 방식으로 자연스럽게 통합할 수 있다는 점에서 실용적 가치가 큽니다.