>>>>> "CM" == Chet Murthy <chet@watson.ibm.com> writes:

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

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

I wasn't clear here.  The high-level capabilities of both Java and
CAML are useful in writing such systems.  Too bad Java/the JVM's
behavioural attributes make it totally unsuited.  Ah, well.

For those who don't understand what I mean, take a look at
InstallShield MultiPlatform.  Also look at "javac" itself.  And "jar".
Ask yourself how such simple problems have admitted such awful
solutions in Java.  Marvel at the foolishness of the creators of these
artifacts.

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