🚀 go-pugleaf

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