OCamlのコンテキストでは何が取り消されていますか？

Question

ノートブックの小さなスペースで「OCamlで引っ込めて」という言葉を書きましたが、今はインターネット上で何かを見つけることはできません。

この用語は実際に存在するのですか、それともOCamlのいくつかのプロパティのための私の講師自身の表記ですか？私のクラスメートも、それが何であるかを覚えているようには見えないので、私が夢を見ているかどうかを確認したいだけです。

Answer 1

もう1つの可能な説明：数学では、引っ込みは、モルフィスの左の逆です（このdefinitionを参照）。特に、パーサーは退縮とみなすことができます。抽象構文木（AST）から始め、それをきれいに印刷し、結果のソースコードを解析すると元のASTが得られるはずです（逆は必ずしも真ではありません）。これはOCaml それ自体とはあまり関係がありませんが、という代数的なビュー（コンパイルの）にリンクされています。これは関数型プログラミングではよく使われます。