OCaml 字典更新

Question

我是 OCaml 的新手，正在尝试学习如何更新字典和处理 if/else 条件。
我编写了以下代码来检查字典是否有一些键。如果没有，请为该键添加默认值。最后打印出来。

module MyUsers = Map.Make(String)
let myGraph = MyUsers.empty;;
let myGraph = MyUsers.add "test" "preset" myGraph in
try
  let mapped = MyUsers.find "test" myGraph
with
    Not_found -> let myGraph = MyUsers.add "test" "default" myGraph in
Printf.printf "value for the key is now %s\n" (MyUsers.find "test" myGraph)

我现在收到的错误消息是syntax error for line 6: with 这里有什么问题？另外，何时使用 in ; 或;; ？
我已经进行了一些谷歌搜索并了解in 似乎在下一个;; 之前定义了一些范围。但这对我来说仍然很模糊。能不能解释的更清楚一点？

Answer 1

您的直接问题是，除了顶级，let 后面必须跟 in。表达式类似于 let variable = expression1 in expression2。这个想法是给定变量绑定到 expression2 主体中的 expression1 的值。你有一个let 没有in。

很难回答您更笼统的问题。处理一些特定的代码和特定的问题会更容易。

但是，分号; 用于分隔要按顺序计算的两个值。第一个应该是 unit 类型（意味着它没有有用的值）。

在我看来，双分号;; 仅在顶层使用，以告诉解释器您已完成输入，并且它应该评估您到目前为止所提供的内容。有些人在实际的 OCaml 代码中使用;;，但我没有。

您的代码强烈表明您正在考虑 OCaml 映射。 OCaml 映射是不可变的；也就是说，您不能更改地图的值。您只能生成与旧地图内容不同的新地图。