OCaml try...with代码编译报错求助：int与unit类型不匹配如何修复？

报错原因分析 #

1. 类型不匹配：顶层let () =要求右侧是unit类型表达式，但你的try...with返回int类型，导致类型冲突。
2. 异常匹配语法错误：Failure是带字符串参数的异常构造函数，必须用Failure _匹配；| n -> n是错误写法，with块仅处理异常分支，正常执行结果由try后的表达式直接返回，无需额外匹配。

修改后的代码示例 #

处理所有异常的版本

let () =
  let result =
    try int_of_string "4" with
    | Failure _ -> -1
    | _ -> 0  (* 匹配其他所有异常，返回自定义默认值 *)
  in
  print_int result;
  print_newline ()

仅处理Failure异常的版本

let () =
  let result = try int_of_string "4" with Failure _ -> -1 in
  print_endline (string_of_int result)

说明 #

• 通过let result =将try...with的int结果绑定到变量，再通过打印函数输出，使整个表达式最终为unit类型，符合let () =的要求。
• Failure _匹配所有Failure类型的异常，忽略其携带的字符串信息；_作为通配符，可匹配其他所有未明确列出的异常。
• 运行时，若输入字符串可转为整数（如"4"），输出对应整数；若转换失败（如"abc"），输出-1（或自定义的默认值）。

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