Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] productivity improvement, Ensemble as an example
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-07-28 (07:12)
From: Ohad Rodeh <ORODEH@i...>
Subject: [Caml-list] productivity improvement, Ensemble as an example

Which site have you been looking at?

The Ensemble site is at, there is
a link
to it from the Horus site ( As for
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 Rodeh
tel: +972-3-6401641
IBM Haifa, storage research

                      <oleg_inconnu@myrealbo        To:                                                
            >                        cc:                                           
                      Sent by:                      Subject:  [Caml-list] productivity improvement (was: Rule based        
                      owner-caml-list@pauill         language)                                                             
                      27/07/2002 12:08                                                                                     

On Wednesday 24 July 2002 06:31 pm, 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
seems to be different with O'Caml vs C++.


[1] Maybe the complexity has cought up with them eventually :)
To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list:

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: