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 QAA26904 for caml-redistribution@pauillac.inria.fr; Fri, 24 Mar 2000 16:45:58 +0100 (MET)
Resent-Message-Id: <200003241545.QAA26904@pauillac.inria.fr>
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 VAA06713 for <caml-list@pauillac.inria.fr>; Thu, 23 Mar 2000 21:20:43 +0100 (MET)
Received: from unknown-147-100.pilot.net (unknown-147-100.pilot.net [198.232.147.100])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id VAA11940;
	Thu, 23 Mar 2000 21:20:42 +0100 (MET)
Received: from unknown-24-4.pilot.net (unknown-24-4.pilot.net [206.189.24.4]) by unknown-147-100.pilot.net with ESMTP id MAA28820; Thu, 23 Mar 2000 12:20:29 -0800 (PST)
Received: from uswaumsxbhmedge.med.ge.com (localhost [127.0.0.1]) by unknown-24-4.pilot.net with ESMTP id MAA01087; Thu, 23 Mar 2000 12:20:28 -0800 (PST)
Received: from swag.mrs.med.ge.com (3.57.196.14 [3.57.196.14]) by uswaumsxbhmedge.med.ge.com with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2651.58)
	id H1RM2S3D; Thu, 23 Mar 2000 14:20:06 -0600
Received: (from gurr@localhost)
	by swag.mrs.med.ge.com (8.8.8+Sun/8.8.8) id JAA03919;
	Thu, 2 Mar 2000 09:25:36 -0800 (PST)
Date: Thu, 2 Mar 2000 09:25:36 -0800 (PST)
From: David Gurr <gurr@pop.mrs.med.ge.com>
Message-Id: <200003021725.JAA03919@swag.mrs.med.ge.com>
To: williamc@paneris.org, caml-list@inria.fr, Xavier.Leroy@inria.fr
Subject: Re: Interpreter vs hardware threads
X-Sun-Charset: US-ASCII
Resent-From: weis@pauillac.inria.fr
Resent-Date: Fri, 24 Mar 2000 16:45:58 +0100
Resent-To: caml-redistribution@pauillac.inria.fr

> >    (Of course, one could always ask the ocaml team that won the ICFP
> > competition in such spectacular fashion to knock off an
> > ocaml-to-event-driven-FSM compiler ...)
> 
> I'm not sure that OCaml is the best input language for generating
> FSMs, but, yes, generating FSMs from a high-level concurrent language
> is an excellent approach.  You get both ultimate execution speed and a
> readable, maintainable description of the program.  Have a look for
> instance at Esterel (another glorious INRIA product :-))
> 
> - Xavier Leroy
> 
And Lucid-Synchronie?  Any thoughts on JoCaml with Cilk-like threads?