English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] ocaml killer
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-01-28 (23:58)
From: Chet Murthy <chet@w...>
Subject: Re: [Caml-list] ocaml killer

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


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