Re: Dynamic typing (part 3)

Article View: comp.lang.misc

Article #3035

#3035

From: Erland Sommarskog
Date: Sun, 17 Mar 1991 12:45

14 lines
967 bytes

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

Technical Details

Message-ID: <2837@enea.se>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!usc!rpi!uupsi!sunic!enea!sommar

References: <602@optima.cs.arizona.edu>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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

Reply to Parent Message