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 JAA15529; Sun, 28 Jul 2002 09:45:16 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA15524 for ; Sun, 28 Jul 2002 09:45:15 +0200 (MET DST) Received: from relay.rinet.ru (relay.rinet.ru [195.54.192.35]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g6S7jED18273 for ; Sun, 28 Jul 2002 09:45:14 +0200 (MET DST) Received: (from uucp@localhost) by relay.rinet.ru (8.11.6/8.11.6) with UUCP id g6S7jCU21508 for caml-list@inria.fr; Sun, 28 Jul 2002 11:45:12 +0400 (MSD) X-Envelope-To: caml-list@inria.fr Received: from dialin1.stormoff (ROVER1) [192.168.0.129] by stormoff with esmtp (Exim 3.12 #1 (Debian)) id 17YieC-00073G-00; Sun, 28 Jul 2002 11:39:24 +0400 X-Comment-To: "Ohad Rodeh" To: caml-list@inria.fr Subject: Re: [Caml-list] productivity improvement, Ensemble as an example References: From: Dmitry Bely Date: Sun, 28 Jul 2002 11:39:06 +0400 In-Reply-To: ("Ohad Rodeh"'s message of "Sun, 28 Jul 2002 10:00:59 +0300") Message-ID: User-Agent: Gnus/5.090005 (Oort Gnus v0.05) XEmacs/21.4 (Common Lisp (Windows [3]), i586-pc-win32) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk "Ohad Rodeh" writes: > As for complexity, it as actually gone done, and we've been able to throw away some > code as OCaml has evolved. I don't think C has evolved much (C99 ?) in any way that > it had helped us. > > You can take my word for it, the line count, complexity etc. in a C version that does the > same as Ensemble was a lot higher. >> Anyway, problems in memory management and modularity >> only appear when the programs become big. Usually big >> programs are not written in two languages, so comparison >> is hard. But the example of Horus vs. Ensemble shows that >> there is very large improvement. 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? - Dmitry Bely ------------------- 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