From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id HAA09011; Sun, 11 Nov 2001 07:12:38 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 HAA08661 for ; Sun, 11 Nov 2001 07:12:36 +0100 (MET) Received: from c0mailgw01.prontomail.com ([216.163.180.10]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id fAB6CZ503992 for ; Sun, 11 Nov 2001 07:12:36 +0100 (MET) Received: by c0mailgw01.prontomail.com (NPlex 5.5.042) id 3BDF7A82001EAA3B for caml-list@inria.fr; Sat, 10 Nov 2001 22:05:44 -0800 Received: from 148.63.81.195 by SmtpServer for ; Sun, 11 Nov 2001 06:05:40 +0000 X-Sender: 29538.starband.net Message-ID: <003401c16a77$aa5f2860$0401a8c0@XENO> Reply-To: "Eric Newhuis" From: "Eric Newhuis" To: References: <20011111061746.A214@gogol.zorgol> Subject: Re: [Caml-list] Rewriting UNIX in Caml and getting rid of the C disease Date: Sun, 11 Nov 2001 00:11:05 -0600 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2600.0000 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Is there a market for such a thing? Defense? Secure operating systems? What are all the tangible benefits? What will the name fo the OS be? SafeLix? FreeBSafeD? Windows NT might already be part of the way there depending on how one views Prolog as being closer to Caml. I guess they're both functional. Has Prolog, used in the following manner, added the safety you hope to achieve? And could Caml have also achieved it? Microsoft used Prolog in NT's network stack. http://research.microsoft.com/research/dtg/davidhov/pap.htm ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr