Dear Camlists, Does anyone know of a description of the sharing mechanism inside Ocaml's heap (I guess)? I'm interested in any kind material, from a formal account in a paper (even not directly related to Caml), to an informal description and tips of usage, anything that could fill in my shameful ignorance on that matter. Particularly, I'm trying to understand: - where architecturally it takes place in the compiler, - how it is an approximation from the perfect case of maximal sharing (hash-consing I guess), i.e. what's the algorithm - when can I safely state that a = b implies a == b. - how is it that the function below is "smarter" than List.map? What do we gain, what do we loose?
I understand sharing is part of ML's folklore and I didn't find any resource on it, but maybe I missed something... Thank you all in advance, -m << let rec list_smartmap f l = match l with [] -> l | h::tl -> let h' = f h and tl' = list_smartmap f tl in if h'==h && tl'==tl then l else h'::tl' >> _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs