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 PAA07436; Fri, 30 Aug 2002 15:50:34 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA07405 for ; Fri, 30 Aug 2002 15:50:33 +0200 (MET DST) Received: from mg.ihep.su (mg.ihep.su [194.190.161.38]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g7UDoQD14209 for ; Fri, 30 Aug 2002 15:50:31 +0200 (MET DST) Received: by mg.ihep.su (Postfix, from userid 65436) id E2A9AB552B; Fri, 30 Aug 2002 17:50:24 +0400 (MSD) Received: from ontil.ihep.su (ontil.ihep.su [194.190.161.63]) by mg.ihep.su (Postfix) with ESMTP id A8926B5526; Fri, 30 Aug 2002 17:50:20 +0400 (MSD) Received: from localhost (vsl@localhost) by ontil.ihep.su (8.11.6/8.11.6) with ESMTP id g7UDni602945; Fri, 30 Aug 2002 17:49:44 +0400 Date: Fri, 30 Aug 2002 17:49:44 +0400 (MSD) From: Vitaly Lugovsky To: David Frese Cc: SooHyoung Oh , Caml-list Subject: Re: [Caml-list] Q: safe language In-Reply-To: <1030712751.1831.25.camel@pc-6> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On 30 Aug 2002, David Frese wrote: > > (cadr '(1)) > > This shows that Lisp is safe, because it results in an error, and does > not return some value from out of nowhere (or does it). No. In this place program may be expecting some structure, which can contain NIL. There is no other way in lisp to define structures - so, any code accepting lists will accept any alien structure. Is is type safety? No way! Dynamically typed languages can't be safe. ------------------- 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