如何在Reason代码文件中引用OCaml库，以cohttp-lwt为例

核心结论 #

Reason完全支持所有OCaml生态的第三方库，Reason只是OCaml的可选语法层，二者编译后的中间表示完全一致，不存在跨生态的兼容问题。

你导入失败的原因及解决方法 #

你尝试的open cohttp-lwt写法错误，原因是：短横线分隔的是OPAM源的包名，不是代码中实际的模块名，OCaml/Reason的模块名统一使用大驼峰命名格式。

正确操作分为两步：

第一步：更新Dune构建配置 #

找到你项目中可执行程序对应的dune配置文件（hello-reason模板默认在根目录下），在executable段的libraries字段中添加你安装的包名：

(executable
 (name Hello)
 (public_name hello-reason)
 (libraries
  # 原有依赖比如reason_std等保留，新增以下内容
  cohttp-lwt
  cohttp-lwt-unix
  lwt
))

第二步：代码中正确导入使用 #

cohttp-lwt的实际模块名为Cohttp_lwt，如果要发起客户端请求通常还需要搭配Cohttp_lwt_unix模块，两种使用方式可选：

1. 直接使用全限定名调用，不需要open：

let* (resp, body) = Cohttp_lwt_unix.Client.get(Uri.of_string("https://example.com"));

2. 先open模块简化调用：

open Cohttp_lwt_unix;

let* (resp, body) = Client.get(Uri.of_string("https://example.com"));

最简请求示例 #

你可以直接替换hello-reason的入口代码测试效果：

open Lwt.Syntax;

let () = {
  let run_request = async () => {
    let uri = Uri.of_string("https://example.com");
    let* (resp, body) = Cohttp_lwt_unix.Client.get(uri);
    let status_code = Cohttp.Code.code_of_status(resp.status);
    let* body_str = Cohttp_lwt.Body.to_string(body);
    print_endline("状态码：" ++ string_of_int(status_code));
    print_endline("响应内容：" ++ body_str);
    Lwt.return_unit;
  };
  Lwt_main.run(run_request());
};

其他HTTP库推荐 #

• 如果不需要异步能力，只需要简单的同步请求，可以选择ocurl，是libcurl的绑定，API简单易上手，适合小型工具开发
• 你目前使用的cohttp是OCaml生态最主流的异步HTTP库，客户端服务端都支持，维护活跃生态完善，绝大多数场景都够用
• 如果需要做HTTP服务端开发，也可以选择基于cohttp封装的opium框架，API设计更友好，开发效率更高

常见注意事项 #

• 所有OCaml库的包名和模块名规则一致：kebab-case的包名对应大驼峰的模块名，比如包yojson对应模块Yojson，包lwt_ppx对应模块Lwt_ppx
• esy安装依赖后必须在dune配置的libraries字段中显式声明用到的包，否则编译器无法找到对应模块

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