OCaml代数处理程序分模块嵌套时遇Stdlib.Effect.Unhandled异常求解

OCaml的代数效应处理程序完全可以拆分到不同模块并嵌套使用，你遇到的异常是因为模块化后效应类型的可见性、处理程序的调用逻辑或模块编译顺序存在问题，以下是具体分析和修复方案：

核心问题分析 #

1. 效应类型跨模块可见性缺失：自定义的Put_found、Report（或你代码中的Report_p）效应类型如果没有在模块间正确暴露，会导致处理程序无法匹配到对应的效应，直接抛出未处理异常。
2. 处理程序调用逻辑错误：你的run_h1返回的是一个函数，而非包裹效应计算的处理逻辑，外层run_h2无法正确捕获内层触发的新效应。
3. 效应名称不匹配：代码中Handler1触发的是report_p(s)，但Handler2处理的是Report n，如果两者的效应类型定义不一致，会导致效应无法被处理。

具体修复步骤 #

步骤1：统一管理效应类型，保证跨模块可见性 #

将所有自定义效应类型定义在公共模块中，或在各自的模块mli文件中暴露，避免封装导致的匹配失败：

比如创建effects.mli和effects.ml：

(* effects.mli *)
type 'a t +=
  | Put_found : int -> unit t
  | Report : int -> unit t

(* effects.ml *)
type 'a t +=
  | Put_found : int -> unit t
  | Report : int -> unit t

之后在Program.ml、Handler1.ml、Handler2.ml中通过open Effects或Effects.Put_found的方式引用这些效应。

如果坚持把Put_found放在Program模块，必须在Program.mli中暴露该类型：

(* program.mli *)
val x : int ref
val put : int -> unit
val comp : unit -> unit
type 'a t += Put_found : int -> unit t

步骤2：修正处理程序的调用逻辑 #

调整run_h1和run_h2的结构，让它们直接接收待执行的计算并包裹处理逻辑：

(* handler1.ml *)
open Effects
open Effect
open Effect.Deep

let run_h1 comp =
  match_with comp () {
    effc = (fun (type c) (eff: c t) ->
        match eff with
        | Put_found s ->
            Some (fun (k : (c, _) continuation) ->
                perform (Report s);
                continue k ())
        | _ -> None
      );
  }

(* handler2.ml *)
open Effects
open Effect
open Effect.Deep
open Printf

let run_h2 comp =
  match_with comp () {
    effc = (fun (type b) (eff: b t) ->
        match eff with
        | Report n ->
            Some (fun (k: (b, _) continuation) ->
                if n = -1 then
                  printf "Put with value -1 encountered.\n"
                else
                  printf "Put found with allowed value.\n";
                continue k ())
        | _ -> None
    );
    exnc = raise;
    retc = Fun.id
  }

嵌套调用时，将内层处理后的计算交给外层处理程序：

(* run_handlers.ml *)
open Handler1
open Handler2
open Program

let run_handlers () =
  run_h2 (fun () -> run_h1 comp) ()

let () = run_handlers ()

步骤3：确保正确的模块编译顺序 #

OCaml依赖编译顺序，必须保证依赖模块先被编译，比如编译顺序应为：
effects.ml → program.ml → handler1.ml → handler2.ml → run_handlers.ml

如果使用dune构建，在dune文件中指定正确的模块顺序：

(executable
 (name run_handlers)
 (libraries effect)
 (modules effects program handler1 handler2 run_handlers))

验证修复后的运行效果 #

按照上述结构调整代码后，运行run_handlers会输出：

Put found with allowed value.
Put found with allowed value.

不会再抛出Stdlib.Effect.Unhandled异常。

内容的提问来源于stack exchange，提问作者Marietta Galea