From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA32595 for caml-redistribution; Sat, 28 Aug 1999 19:19:58 +0200 (MET DST)
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA00062 for <caml-list@pauillac.inria.fr>; Thu, 26 Aug 1999 20:38:52 +0200 (MET DST)
Received: from tequila.cs.yale.edu (TEQUILA.CS.YALE.EDU [128.36.229.152])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id UAA20426
	for <caml-list@inria.fr>; Thu, 26 Aug 1999 20:38:50 +0200 (MET DST)
Received: from tequila.cs.yale.edu (localhost [127.0.0.1])
	by tequila.cs.yale.edu (8.9.3/8.9.3) with SMTP id OAA29461
	for <caml-list@inria.fr>; Thu, 26 Aug 1999 14:38:45 -0400
To: caml-list@inria.fr
Sender: weis
From: "Stefan Monnier" <monnier+lists/caml/news/@tequila.cs.yale.edu>
Newsgroups: lists.caml
Subject: Re: convincing management to switch to Ocaml
References: <3.0.6.32.19990813203205.00990520@mail.triode.net.au> <001801beee9c$5d364860$0150ebca@nextsolution.co.jp> <3.0.6.32.19990825135019.009a8990@mail.triode.net.au>
Date: 26 Aug 1999 14:36:52 -0400
Message-ID: <5lso56fkxn.fsf@tequila.cs.yale.edu>
X-Newsreader: Gnus v5.7/Emacs 20.4
Path: tequila.cs.yale.edu
NNTP-Posting-Host: tequila.cs.yale.edu
X-Trace: 26 Aug 1999 14:36:52 -0500, tequila.cs.yale.edu

>>>>> "John" == John Skaller <skaller@maxtal.com.au> writes:
> 	Wrong. C++ is type safe, provided you don't use casts.

And several other C constructs like unions, arrays, varargs, manual
memory management, ...

I wish my crond and other similar daemons were written in O'Caml
or some other safe language.  After all, where is bit-twiddling
(or CPU-performance as opposed to IO and algorithm speed) required
in those programs anyway ?


	Stefan