From: "Ohad Rodeh" <ORODEH@il.ibm.com>
To: caml-list@inria.fr
Subject: [Caml-list] productivity improvement, Ensemble as an example
Date: Sun, 28 Jul 2002 10:00:59 +0300 [thread overview]
Message-ID: <OFA03B0770.4B33FEDE-ONC2256C04.0025F479@telaviv.ibm.com> (raw)
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
<oleg_inconnu@myrealbo To: sajuma@utu.fi
x.com> 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
next reply other threads:[~2002-07-28 7:12 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-07-28 7:00 Ohad Rodeh [this message]
2002-07-28 7:39 ` Dmitry Bely
2002-07-28 8:11 ` Friedman Roy
2002-07-29 23:49 ` Oleg
2002-07-30 5:45 Ohad Rodeh
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=OFA03B0770.4B33FEDE-ONC2256C04.0025F479@telaviv.ibm.com \
--to=orodeh@il.ibm.com \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).