OCaml中在lp函数内调用f、g并赋值时触发语法错误

触发编译报错的原因来自lp函数的两处语法结构残缺：

• OCaml的嵌套let绑定有固定语法格式：let 变量 = 表达式 in 后续作用域内的代码。你在定义z变量时，写完g的调用后既没有补接in标记作用域边界，也没有给整个函数指定最终返回的表达式，结构本身就是不完整的。
• 错误使用分号：OCaml里分号是表达式序列的连接符，不是其他语言里的语句结束符。你在g y (List.length y) m后面随意加的分号，直接破坏了let语句的完整结构，让解析器在对应行位置无法识别合法语法，抛出错误。

f、g函数在外部可正常运行的原因：这两个函数本身的语法结构是完整的——f最后以!list作为返回表达式，g最后以!res作为返回表达式，不存在结构残缺问题，所以单独调用不会触发报错。

如果你需要让lp函数返回g的计算结果，正确代码为：

let lp m = 
  let y = f m in
  let z = g y (List.length y) m in
  z

补充注意点：

• 所有嵌套的临时变量let绑定，只要后面还有其他执行逻辑/返回逻辑，就必须用in收尾，不能省略。
• OCaml函数的返回值是函数体最后一个表达式的求值结果，没有写完整的返回表达式的话，本身就无法构成合法的函数定义。
• 原代码里错加的分号可以直接删除，当前场景不需要用分号连接表达式。

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