>>>>> "MB" == Martin Berger <martinb@dcs.qmul.ac.uk> writes:

    MB> but i guess it depends what you mean by that
    MB> "systems-programming language". rather than attempting a
    MB> definition (it's late here), i'll point to C/C++ or Cyclone as
    MB> examples.

A "system" includes an application-server, a GUI, a database, a window
manager, a widget system, a GRID scheduler, a directory server, a
group communications toolkit and lots of other things.

Application programming, is really programming -inside- a system,
wherein programmers face strong limits on what they can do, with the
aim of keeping their code well-managed, controlled, and providing a
"managed environment" for the code's execution.

All of these things, in my opinion, benefit from being written in
high-level languages -- significantly higher than CCured and Cyclone.

The high-level abstraction capabilities of CAML shine here, and do
some of capabilities of Java in these applications.

BTW, people (fools) propose using Java to write all of those things I
describe above.

--chet--

-------------------
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