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 UAA32165; Sat, 31 Aug 2002 20:02:20 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA00162 for caml-list@pauillac.inria.fr; Sat, 31 Aug 2002 20:02:20 +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 QAA08847 for ; Fri, 30 Aug 2002 16:42:07 +0200 (MET DST) Received: from grisu.bik-gmbh.de (In-Planung---------X.BIK-GmbH.de [212.12.55.66] (may be forged)) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g7UEg5D21129 for ; Fri, 30 Aug 2002 16:42:06 +0200 (MET DST) Received: from bik-gmbh.de (prony.bik-gmbh.de [194.233.237.133]) by grisu.bik-gmbh.de (8.12.3/8.12.3) with ESMTP id g7UEfrU8033175; Fri, 30 Aug 2002 16:41:53 +0200 (CEST) (envelope-from hars@bik-gmbh.de) Message-ID: <3D6F842C.6030402@bik-gmbh.de> Date: Fri, 30 Aug 2002 16:41:48 +0200 From: Florian Hars User-Agent: Mozilla/5.0 (X11; U; Linux i686; de-AT; rv:1.1b) Gecko/20020819 X-Accept-Language: de-de, en-us, en MIME-Version: 1.0 To: SooHyoung Oh CC: Caml-List Subject: Re: [Caml-list] Q: safe language References: <001c01c24fc5$9c51bfb0$fe00a8c0@hama> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk SooHyoung Oh wrote: > Some questions about "safe" language: > - Is it necessary for a safe language to have a type system? Yes, but it needn't be static nor strong. Perl (like the other, less obfuscated dialects of Lisp :-)) is a safe language, too: there is no way that the execution of a valid instruction like an access of a variable will result in a program crash, the only risk is an unexpected result if you miss some $ in ${$$r{$i}}[$j]. In C, on the other hand, it is perfectly possible to have a valid code fragment int * i_ptr; i_ptr = get_some_address(); &i = 42; that may occasionally crash. > - Isn't Lisp a safe language? Yes, as Vitaly Lugovsky has convincingly demonstrated in another message. Yours, Florian ------------------- 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