如何在OCaml中获取if-else语句的返回值并赋值给变量

OCaml 中的 if-else 本身就是表达式结构，天然携带返回值，你最初写的赋值逻辑本身是符合语法规范的，没有拿到预期返回值通常是两种常见问题导致的：

• 两个分支的返回值类型不匹配：OCaml 强制要求 if 和 else 分支的返回值类型必须完全一致，如果类型不一致编译器会自动统一为 unit 类型，最终只会拿到 () 而不是你预期的计算结果
• 分支内执行的 do_this/do_this_instead 本身是返回 unit 的无返回值函数，执行后自然不会返回可供存储的结果

你给出的C代码逻辑，在OCaml中可以直接等价实现为：

let myvalue = if my_condition != 0 then 1 + 1 else 1 - 1

如果需要在分支内先执行其他副作用逻辑（比如打印、修改变量）再返回值，只需要把其他逻辑放在分支内前面，分支最后一行的表达式的值就是整个分支的返回值，不需要额外写return关键字：

let myvalue =
  if my_condition != 0 then
    let () = print_endline "触发真分支逻辑" in
    1 + 1
  else
    let () = print_endline "触发假分支逻辑" in
    1 - 1

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