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 JAA13893; Sun, 28 Jul 2002 09:12:55 +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 JAA06610 for ; Sun, 28 Jul 2002 09:12:54 +0200 (MET DST) Received: from d12lmsgate.de.ibm.com (d12lmsgate.de.ibm.com [195.212.91.199]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g6S7CsX18850 for ; Sun, 28 Jul 2002 09:12:54 +0200 (MET DST) Received: from d12relay02.de.ibm.com (d12relay02.de.ibm.com [9.165.215.23]) by d12lmsgate.de.ibm.com (8.12.3/8.12.3) with ESMTP id g6S7Cr9l013726 for ; Sun, 28 Jul 2002 09:12:53 +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 g6S7BeRN117578 for ; Sun, 28 Jul 2002 09:12:52 +0200 Subject: [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: Sun, 28 Jul 2002 10:00:59 +0300 X-MIMETrack: Serialize by Router on D10ML001/10/M/IBM(Release 5.0.9a |January 7, 2002) at 28/07/2002 10:12:52 MIME-Version: 1.0 Content-type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Which site have you been looking at? The Ensemble site is at www.cs.cornell.edu/Info/Projects/Ensemble, there is a link to it from the Horus site (www.cs.cornell.edu/Info/Projects/Horus). As for updates, the last time the homepage was touched was 23-July-02, and the last distribution is from the same date. 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. Ohad. ----------------------------------------------------------------------------------- Ohad Rodeh tel: +972-3-6401641 IBM Haifa, storage research Oleg cc: caml-list@inria.fr Sent by: Subject: [Caml-list] productivity improvement (was: Rule based owner-caml-list@pauill language) ac.inria.fr 27/07/2002 12:08 On Wednesday 24 July 2002 06:31 pm, sajuma@utu.fi wrote: > 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. Do you have links/references? (Although the fact that ML is more productive than C is quite believable to me) I found Horus/Ensemble web site. It looks like it has not been updated in 5 years[1] > [...] why are you using C++? It's very easy to give simple examples of when C++ is much more productive than C in programs defined by their I/O (If anyone needs such examples: a) reverse a file, b) reverse lines in a file c) /usr/bin/sort ). The situation seems to be different with O'Caml vs C++. Regards, Oleg [1] Maybe the complexity has cought up with them eventually :) ------------------- 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