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

[David MENTRE]

Joris van der Hoeven <address@hidden> writes:

> <deliberately provocative>
> You are right: I probably should write a Mathemagix compiler first.
> Scheme, Ocaml and common lisp are very low level too: they do not
> even support real overloading.
> </deliberately provocative>

:) 



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.

Yours,
d.
-- 
 David Mentré <address@hidden>