English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
[Caml-list] Q: safe language
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2002-08-30 (13:50)
From: Vitaly Lugovsky <vsl@o...>
Subject: Re: [Caml-list] Q: safe language
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