ReScript中如何实现Try-Finally？移除原因及替代方案问询

一、移除finally的设计动机 #

ReScript移除finally是基于其核心设计理念的刻意选择，而非功能遗漏：

• 显式副作用管理：finally子句极易引入隐式副作用（如未明确声明的资源清理逻辑），这与ReScript强调"副作用可见、可控"的原则相悖。语言希望所有副作用都能被清晰追踪，而finally的隐式执行会破坏这种透明性。
• 规避JS的反直觉行为：JavaScript中的finally存在一些诡异特性——如果finally块内包含return或throw语句，会直接覆盖try/catch块的返回值或抛出的异常，这类行为极易引发难以排查的隐性bug。ReScript通过移除该特性从根源避免此类问题。
• 适配异常处理哲学：ReScript并不推荐将异常作为常规错误处理手段，官方更鼓励使用option或result类型进行显式错误处理。finally是与异常强绑定的语法，移除它也是在引导开发者转向更符合语言设计的错误处理模式。

二、替代finally的解决方案 #

针对不同场景，可采用以下几种方案替代finally的功能：

1. 封装通用资源管理高阶函数 #

对于需要资源清理的场景（如文件句柄、网络连接），可以编写一个高阶函数，封装"获取资源-使用资源-清理资源"的完整流程，确保无论是否发生异常，清理逻辑都会执行：

let withResource = (acquire, use, release) => {
  let resource = acquire()
  try {
    use(resource)
  } finally {
    // 内部复用JS的finally语法，但开发者无需直接编写
    release(resource)
  }
}

使用时只需传入对应的获取、使用、释放逻辑：

withResource(
  () => openFile("test.txt"),
  file => readFile(file),
  file => closeFile(file),
)

2. 将异常转换为result类型处理 #

调用JS函数或第三方ReScript函数时，先用try...with捕获异常并转换为result<okType, errorType>类型，之后在统一的位置执行清理逻辑，避免重复代码：

type jsError = JsError(string)

let safeCallJsFunc = () => {
  let resource = initJsResource()
  let result = try {
    Ok(jsFunc(resource))
  } catch {
    | Js.Exn.Error(e) => Error(JsError(Js.Exn.message(e)->Belt.Option.getWithDefault("Unknown error")))
  }
  cleanupResource(resource)
  result
}

这种方式将清理逻辑显式放在流程末尾，无论执行结果成功或失败都会触发。

3. 利用Belt.Result的链式操作简化逻辑 #

如果使用result类型处理错误，可以借助Belt.Result提供的tap方法，在不改变结果的前提下执行清理逻辑：

open Belt.Result

let handleResource = () => {
  let resource = initJsResource()
  Ok(resource)
  |> map(jsFunc)
  |> tap(_ => cleanupResource(resource)) // 无论结果如何都会执行清理
}

tap方法专门用于执行副作用操作，同时保持原result的值不变，能让业务逻辑和清理逻辑分离得更清晰。

内容的提问来源于stack exchange，提问作者Sod Almighty