OCaml - array of arrays and garbage collection
If I understand correctly, the garbage collector scans the fields
. For each field, in turn, he will notice that he is unpacked and does not chase him further.
This behavior may not be very effective; the main aspect is that it is safe. This would not be safe
unless each individual
was boxed (which in turn would be area inefficient).
If the above (temporary) inefficiency is a problem, the module
can provide a solution.
source to share