Alain Frisch <frisch@clipper.ens.fr> writes:

> Do you think it would be easy to design processors with built-in
> support for boxed values, GC tags, OO, etc ... that is, a concrete
> OCaml machine ?

I'd actually vote more for a system involving type directed GC,
although I don't know that it'd be appropriate to put into a
processor.

John.