Re: [Texmacs-dev] Boehm-gc-texmacs gc behavior

[Joris van der Hoeven]

> BTW, I reminds me that there is some (I think) related work on
> overloading on the OCaml front called GCaml:
> http://pauillac.inria.fr/~furuse/generics/README.gcaml
>
> People on the caml list are asking the integration of gcaml work into
> next OCaml release.

Yes, I know, but you need to fix all polymorphism in advance.
I really think the current point of view in Mathemagix is the right
one for me (see www.mathemagix.org for very brief explanations).
Briefly speaking, ambiguities are typed.