Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!rpi!uupsi!sunic!enea!sommar
From: sommar@enea.se (Erland Sommarskog)
Newsgroups: comp.lang.misc
Subject: Re: Dynamic typing (part 3)
Message-ID: <2837@enea.se>
Date: 17 Mar 91 12:45:38 GMT
References: <602@optima.cs.arizona.edu>
Organization: Enea Data AB, Sweden
Lines: 14

Also sprach David Gudeman (gudeman@cs.arizona.edu):
>All dynamically typed language I know have this feature.  In fact for
>most of these languages there are no programs that have undefined
>behavior,  I don't know whether any statically typed language can
>make that claim.

So when the types don't match, you crash. Sure, this is well-
defined, but in many application it is just as unacceptable
as undefined behaviour.

If variables never can be uninitiated in your dynamicly typed 
language, I guess their behaviour can be well-defined.
-- 
Erland Sommarskog - ENEA Data, Stockholm - sommar@enea.se