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 RAA10294; Fri, 30 Aug 2002 17:30:05 +0200 (MET DST) 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 RAA09928 for ; Fri, 30 Aug 2002 17:30:03 +0200 (MET DST) Received: from post.webmailer.de (natwar.webmailer.de [192.67.198.70]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g7UF5LD17992 for ; Fri, 30 Aug 2002 17:05:26 +0200 (MET DST) Received: from localhost.localdomain (pD952412C.dip.t-dialin.net [217.82.65.44]) by post.webmailer.de (8.9.3/8.8.7) with ESMTP id RAA22659; Fri, 30 Aug 2002 17:05:19 +0200 (MEST) Received: (from david@localhost) by localhost.localdomain (8.11.6/8.11.6) id g7UEoMw12938; Fri, 30 Aug 2002 16:50:22 +0200 X-Authentication-Warning: localhost.localdomain: david set sender to dfrese@dfrese.de using -f Subject: Re: [Caml-list] Q: safe language From: David Frese To: Vitaly Lugovsky Cc: Caml-list In-Reply-To: References: Content-Type: text/plain Content-Transfer-Encoding: 7bit X-Mailer: Ximian Evolution 1.0.5 Date: 30 Aug 2002 16:50:22 +0200 Message-Id: <1030719022.1831.32.camel@pc-6> Mime-Version: 1.0 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Fri, 2002-08-30 at 15:49, Vitaly Lugovsky wrote: > 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? If you are refering to the fact, that the expression above returns NIL, then yes, this is no type-safety, and a very bad thing - I did not know that. > No way! Dynamically typed languages can't be safe. I don't think this is a problem of dynamic or static typing, but a mad behaviour of Lisp. BTW: I guess we're getting a little bit off-topic now. David. ------------------- 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