From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA09112 for caml-redistribution; Tue, 12 Oct 1999 15:40:43 +0200 (MET DST)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id VAA02827 for <caml-list@pauillac.inria.fr>; Mon, 11 Oct 1999 21:26:37 +0200 (MET DST)
Received: from isil.maya.com (isil.maya.com [192.70.254.5])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id VAA27676
	for <caml-list@inria.fr>; Mon, 11 Oct 1999 21:26:34 +0200 (MET DST)
Received: (from prevost@localhost)
	by isil.maya.com (8.9.3/8.9.3) id PAA03494;
	Mon, 11 Oct 1999 15:32:48 -0400
Sender: weis
To: caml-list@inria.fr
Subject: Re: speed versus C
References: <Pine.GSO.4.04.9910110147410.13909-100000@clipper>
From: John Prevost <prevost@maya.com>
Date: 11 Oct 1999 15:32:48 -0400
In-Reply-To: Alain Frisch's message of "Mon, 11 Oct 1999 01:54:15 +0200 (MET DST)"
Message-ID: <m3zoxpsnfj.fsf@isil.maya.com>
User-Agent: Gnus/5.070096 (Pterodactyl Gnus v0.96) Emacs/20.4
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii

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.