From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id IAA17722; Tue, 30 Jul 2002 08:05:59 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 IAA17924 for ; Tue, 30 Jul 2002 08:05:58 +0200 (MET DST) Received: from d12lmsgate-3.de.ibm.com (d12lmsgate-3.de.ibm.com [195.212.91.201]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g6U65v926373 for ; Tue, 30 Jul 2002 08:05:58 +0200 (MET DST) Received: from d12relay02.de.ibm.com (d12relay02.de.ibm.com [9.165.215.23]) by d12lmsgate-3.de.ibm.com (8.12.3/8.12.3) with ESMTP id g6U65vTO012092 for ; Tue, 30 Jul 2002 08:05:57 +0200 Received: from d10hubm1.telaviv.ibm.com (d10ml001.telaviv.ibm.com [9.148.216.55]) by d12relay02.de.ibm.com (8.12.3/NCO/VER6.3) with ESMTP id g6U65umj092208 for ; Tue, 30 Jul 2002 08:05:56 +0200 Subject: Re: [Caml-list] productivity improvement, Ensemble as an example To: caml-list@inria.fr X-Mailer: Lotus Notes Release 5.0.7 March 21, 2001 Message-ID: From: "Ohad Rodeh" Date: Tue, 30 Jul 2002 08:45:08 +0300 X-MIMETrack: Serialize by Router on D10ML001/10/M/IBM(Release 5.0.9a |January 7, 2002) at 30/07/2002 09:05:56 MIME-Version: 1.0 Content-type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Well, Roy already wrote that that part of the introduction was old and out of date. Ohad. ----------------------------------------------------------------------------------- Ohad Rodeh tel: +972-3-6401641 IBM Haifa, storage research Oleg cc: Sent by: Subject: Re: [Caml-list] productivity improvement, Ensemble as an example owner-caml-list@pauill ac.inria.fr 30/07/2002 02:49 On Sunday 28 July 2002 03:39 am, Dmitry Bely wrote: > I am not familiar with Ensemble, but they say in its overview that > > http://www.cs.cornell.edu/Info/Projects/Ensemble/overview.html > [...] > Ensemble System. > > As Horus/C has matured, we have also encountered issues that recently lead > to a complete reimplementation of the system using a subset of the ML > programming language. To avoid confusion, we have begun to call this > version of our system Ensemble. The subset of ML employed for this work > translates directly into C, which can then be compiled in a normal manner, > and makes no use of ML's garbage collection features. Thus, the choice of > ML has no negative performance implications, and the code itself looks like > C++. > > Does it mean that Ensemble is *not* in fact an Ocaml application? By that, they seem to be saying that C++ would have done an equally good job at improving the productivity over C. Regards Oleg ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners