Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!asuvax!noao!amethyst!arizona!gudeman
From: gudeman@cs.arizona.edu (David Gudeman)
Newsgroups: comp.lang.misc
Subject: Re: Dynamic typing (part 3)
Message-ID: <1020@optima.cs.arizona.edu>
Date: 22 Mar 91 14:17:44 GMT
Sender: news@cs.arizona.edu
Lines: 20

In article  <KERS.91Mar21130048@cdollin.hpl.hp.com> Chris Dollin writes:
]
]Perhaps David should show us some examples where he thinks dynamic types are
]``essential''

Can't think of a one.  Dynamic typing is a convenience and a
productivity enhancer, but it isn't essential.

]And please bear in mind that C is hardly a good example of a statically typed
]system....

Actually, C is as pure a statically typed language as you can get, it
just isn't strongly typed.  Languages that are more strongly typed
usually get that way by flavoring with a little dynamic typing.  This
appears in such things as array bounds checking and ensuring that a
pointer is non-null before dereferencing it.
--
					David Gudeman
gudeman@cs.arizona.edu
noao!arizona!gudeman