Commit 63bf579d authored by POTTIER Francois's avatar POTTIER Francois
Browse files


parent 1e975c99
......@@ -5,6 +5,13 @@
where the free atoms are computed bottom-up. The latter approach uses set
insertion operations, whereas the latter uses set union operations. *)
(* A micro-benchmark indicates that the [iter]-based computation consistently
allocates less memory, especially in the major heap, yet the [reduce]-based
computation consistently is slightly faster (by a few percent), perhaps
because it does not involve mutable state, so does not have to suffer the
write barrier. The micro-benchmark was carried out with randomly-generated
closed lambda-terms. *)
(* -------------------------------------------------------------------------- *)
(* The auxiliary class [scope] defines the environment to be a set of atoms
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