From: Michael Cook <michael.cook@...>
Date: 2001-12-11T03:11:53+09:00
Subject: [ruby-talk:28116] Re: The benefits of dynamic typing?

Wilkes Joiner <boognish23@yahoo.com> writes:

> Just look at the collection hierarchy in Java2.  
>
> Iterator iter = someList.iterator();
> while (iter.hasNext()) {
>     MyType o = (MyType) o.next();
>     o.doSumphin();
>     // or even uglier
>     ((MyType)o.next()).doSumphin();
>
> }

this is a failing of java, not of static type checking in general.
in c++, for comparison, the static type checking is much more
complete.  for example, you can declare a container to be a list of
integers, and then if you try to store a string in that list, the
code won't compile.

m.