OCaml REPL中let rec语句报'operator expected'语法错误排查求助

嘿，我帮你瞅了瞅这段OCaml代码，问题其实出在let绑定的语法结构上，这也是OCaml新手常踩的小坑～

你看，你在project函数里定义完trueFalseList之后，直接就写let rec projected，这不符合OCaml的语法规则。在OCaml中，当你在一个表达式内部连续定义多个let绑定的时候，必须用in来把它们串联起来——因为let ... = ... in ...本身是一个完整的表达式，后面的代码要依赖前面的绑定的话，必须通过in来明确这个绑定的作用范围。

你的原代码结构大概是这样的（简化后）：

let project (conditions, aTable)=( 
  let trueFalseList = match aTable with _,cols,_ -> dataMatcher(cols, conditions)
  let rec projected (aTable, trueFalseList) = match aTable with ...
)

这里第一个let trueFalseList = ...后面没有加in，OCaml解析器就懵了：它本来以为这里应该是表达式的延续（比如运算符或者in），结果看到了另一个let，所以就抛出了operator expected的错误，定位在第二个let关键字上。

修正后的代码结构示例 #

let project (conditions, aTable) = 
  -- 第一个绑定用in连接后续代码
  let trueFalseList = match aTable with _,cols,_ -> dataMatcher(cols, conditions) in
  -- 递归函数的定义同样用in连接
  let rec projected (aTable, trueFalseList) = 
    match aTable with 
    | name,[],[] -> name,[],[] 
    | name,cols,[] -> ... (* 你的后续处理逻辑 *)
    -- 记得补全所有match分支哦
  in
  -- 最后要调用递归函数作为project的返回值
  projected (aTable, trueFalseList)

额外注意点 #

1. 原代码开头的括号( let ...其实没必要加，OCaml函数体直接写表达式就行，多余的括号反而容易让结构混乱；
2. 一定要记得最后调用projected函数，不然你只是定义了递归函数，但没有实际执行，project会默认返回unit类型，这大概率不是你想要的结果；
3. 确认dataMatcher函数已经正确定义，它的参数类型（string list * string list）和返回值类型（应该是bool list之类用来过滤的列表）要符合预期。

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