Archives of the Caml mailing list > Message from Vitaly Lugovsky

Browse thread

[Caml-list] Q: safe language

SooHyoung Oh
- sebastien FURIC
- Vitaly Lugovsky
  - David Frese
    - Oleg
      - Yutaka OIWA
    - Vitaly Lugovsky
      - David Frese
        
        Vitaly Lugovsky
      - J Farrand
        
        John Max Skaller
        
        Vitaly Lugovsky
        
        Nicolas Cannasse
        
        Vitaly Lugovsky
        
        Mike Lin
        
        Eric Newhuis
        
        Yutaka OIWA
        
        Oliver Bandel
    - didier plaindoux
- Nicolas Cannasse
- Florian Hars

Date:	-- (:)
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