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:45)
From: Dmitry Bely <dbely@m...>
Subject: Re: [Caml-list] productivity improvement, Ensemble as an example
"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
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

Does it mean that Ensemble is *not* in fact an Ocaml application? 

- Dmitry Bely

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