Algebraic Effects and Handlers이펙트 핸들러

이펙트 = 연산(Operations)의 집합 + 핸들러

연산: perform (raise, read, write 등) → 효과 발동
핸들러: 발동된 효과를 해석 → 제어 흐름 결정
계속(Continuation): 효과 발동 이후의 나머지 계산

// 이펙트 선언
effect state<s>
  fun get() : s
  fun put(x : s) : ()

// 이펙트를 사용하는 함수
fun increment() : state<int> ()
  put(get() + 1)

// 핸들러로 이펙트 해석
fun run-state(init : s, action : () -> <state<s>|e> a) : e (a, s)
  var st := init
  with handler
    fun get()    resume(st)        // 계속에 현재 상태 전달
    fun put(x)   st := x; resume(())
  action()

(* 이펙트 선언 *)
effect Read : int
effect Write : int -> unit

(* 이펙트 사용 *)
let program () =
  let x = perform Read in
  perform (Write (x + 1))

(* 핸들러 *)
let run_state init program =
  let state = ref init in
  match_with program () {
    retc = (fun x -> (x, !state));
    exnc = raise;
    effc = fun (type a) (eff : a Effect.t) ->
      match eff with
      | Read    -> Some (fun (k : (a, _) continuation) ->
          continue k !state)
      | Write v -> Some (fun k ->
          state := v; continue k ())
      | _ -> None
  }