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 QAA09092; Fri, 30 Aug 2002 16:48:03 +0200 (MET DST) 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 QAA08842 for ; Fri, 30 Aug 2002 16:48:02 +0200 (MET DST) Received: from relay-4m.club-internet.fr (relay-4m.club-internet.fr [194.158.104.43]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g7UEm1D21246 for ; Fri, 30 Aug 2002 16:48:01 +0200 (MET DST) Received: from mini2k (lns02m-5-75.w.club-internet.fr [212.194.16.75]) by relay-4m.club-internet.fr (Postfix) with SMTP id 2A09EE0EA; Fri, 30 Aug 2002 16:48:00 +0200 (CEST) Message-ID: <002101c25034$4f17da80$bd00a8c0@mini2k> From: "Nicolas Cannasse" To: "Vitaly Lugovsky" Cc: "Caml-list" References: Subject: Re: [Caml-list] Q: safe language Date: Fri, 30 Aug 2002 16:48:27 +0200 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 5.50.4522.1200 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4522.1200 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > > So for > > example, C is not safe because you can derefence a bad pointer etc. and > > cause a seg fault. > > Run C in a bytecode "safe" environment (there are some C implementations > with this functionality) - and it will become a "safe language"? True. If you choose the following definition "safe : which does not fail" then you have C < "safe" C < Lisp < OCaml But you can't ensure the total safety of your program without using a theorem prover such as COQ. Simple OCaml sample : List.hd [];; Nicolas Cannasse ------------------- 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