Attention une mise à jour du serveur va être effectuée le vendredi 16 avril entre 12h et 12h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 8a33069e authored by POTTIER Francois's avatar POTTIER Francois

Mention another application of [mapreduce] visitors.

parent 3c9b5abb
......@@ -5,6 +5,7 @@
\renewcommand{\rmdefault}{ptm} % Times.
......@@ -493,8 +494,13 @@ of the new expression. Because the overridden method \tyconvisitor{expr} does
not call \tyconvisitor{'info}, the latter method is never called: we provide a
dummy definition of it.
Another application of a \mapreduce visitor, in the same style, would be to
decorate every subterm of a $\lambda$-term with the set of its free variables.
Other example applications of \mapreduce visitors include:
\item decorating every subterm of a $\lambda$-term with the set of its free
\item decorating every internal node of abstract syntax tree with a region in
the source code (assuming that every leaf carries such a region already).
% ------------------------------------------------------------------------------
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment