OCaml 上下文中的缩回是什么？
What is retracting in the context of OCaml?
我在我的笔记本上的一个小 space 中潦草地写下了术语 "retracting in OCaml"，现在我似乎无法回忆起它的内容，也无法在 Internet 上找到任何相关信息。
这个术语是否真的存在，或者它是我的讲师自己对 OCaml 的一些 属性 的符号。同学们好像也不记得是怎么回事了，我想确认一下是不是在做梦。
另一种可能的解释：在数学中，收缩 是态射的左逆（参见definition）。特别地，一个解析器可以看作是一个撤回w.r.t。给定的漂亮打印机：从抽象语法树 (AST) 开始并漂亮地打印它，然后解析生成的源代码应该产生原始的 AST（反之不一定正确）。它与 OCaml 本身 没有太大关系，但它与函数式编程中很常见的代数视图（编译）有关。
我在我的笔记本上的一个小 space 中潦草地写下了术语 "retracting in OCaml"，现在我似乎无法回忆起它的内容，也无法在 Internet 上找到任何相关信息。
这个术语是否真的存在，或者它是我的讲师自己对 OCaml 的一些 属性 的符号。同学们好像也不记得是怎么回事了，我想确认一下是不是在做梦。
另一种可能的解释：在数学中，收缩 是态射的左逆（参见definition）。特别地，一个解析器可以看作是一个撤回w.r.t。给定的漂亮打印机：从抽象语法树 (AST) 开始并漂亮地打印它，然后解析生成的源代码应该产生原始的 AST（反之不一定正确）。它与 OCaml 本身 没有太大关系，但它与函数式编程中很常见的代数视图（编译）有关。