移植OCaml项目到BuckleScript时，如何引入Str正则模块？

我来帮你搞定这个编译错误，同时给你梳理下后续转ReasonML的思路～

一、先解决当前的「Unbound value Str.regexp/Str.search_forward」错误 #

你遇到的问题是因为Str是OCaml标准库的附加模块，不管是BuckleScript的JavaScript目标还是bsb-native的Native目标，都不会自动链接这个模块，得手动配置或者用替代方案：

1. 如果用Native目标（编译到原生可执行文件） #

在项目根目录的bsconfig.json里添加native链接配置，告诉bsb-native要链接str库：

{
  // 其他原有配置...
  "native": {
    "links": ["str"]
  }
}

保存后重新执行npm run build，应该就能找到Str模块的函数了。

2. 如果用JavaScript目标（编译到Node.js可执行的JS） #

BuckleScript的JS目标没法直接编译OCaml原生的Str模块（因为它依赖OCaml的底层实现），这里有两个更合适的选择：

• 方案一：用BuckleScript官方的JS正则绑定「Js.Re」
  这是最推荐的方式，贴合JavaScript环境，用法和Str类似但更符合JS习惯。你的demo.ml代码可以改成：

  let qq = Js.Re.fromString "/q/" 
  let () = Js.log "Hello, STR! BuckleScript"
  

• 方案二：使用社区的Str绑定库
  如果你坚持要复用原有Str的代码，可以安装社区维护的bs-str包（注意确认包的维护状态），然后在bsconfig.json里添加依赖，不过这个方案不如Js.Re原生适配JS目标。

二、从OCaml语法升级到ReasonML的步骤 #

等编译问题解决后，你可以按下面的步骤把OCaml代码转成ReasonML：

1. 利用内置的refmt工具转译：refmt是ReasonML的格式化/转译工具，已经包含在BuckleScript的依赖里，不需要额外安装。
2. 批量转译OCaml文件到ReasonML：
   在命令行执行：

   refmt --parse ml --print re src/demo.ml > src/demo.re
   refmt --parse ml --print re src/lex.ml > src/lex.re
   

   这个命令会自动把OCaml语法转成ReasonML语法，大部分代码都能直接转成，少数特殊语法可能需要手动调整。
3. 调整转译后的代码：
   比如转译后的demo.re代码会是这样：

   let qq = Js.Re.fromString("/q/");
   Js.log("Hello, STR! BuckleScript");
   

   如果是用Native目标的Str模块，转译后会是：

   let qq = Str.regexp("/q/");
   Js.log("Hello, STR! BuckleScript");
   

4. 替换原文件并验证编译：把原来的.ml文件备份后，用转译好的.re文件替换，然后执行npm run build确认编译正常。

补充说明 #

你提到的Str模块文档是针对ReasonML Native环境的，所以在JS目标下没法直接使用，这也是为什么更推荐用Js.Re的原因哦～

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