什么在OCaml的背景下收回？

Question

我在笔记本的一个小空间里潦草地写了“在OCaml中缩回”一词，现在我似乎无法回想起它的内容，也无法在互联网上找到任何关于它的内容。

这个术语是否确实存在，或者是我的讲师自己对OCaml的某些属性的表示法。我的同学似乎也不记得它是什么，所以我只想确认我是否在做梦。

Answer 1

另一种可能的解释：在数学中，退缩是态射的左逆（见definition）。特别是，解析器可以被视为收缩w.r.t.一个给定的漂亮的打印机：从一个抽象的语法树（AST）开始并漂亮打印它，然后解析得到的源代码应该产生原始的AST（而相反的情况不一定是真的）。它与OCaml 本身没什么关系，但是它与代数视图（编译）相关联，这在函数式编程中很常见。