Hal Fulton <hal9000 / hypermetrics.com> wrote in message news:<40ABE0B2.3030302 / hypermetrics.com>...
> Well, here's one comment.
> 
>    if foo()
>      def 5.collect
>        puts "I exist!"
>      end
>    end
....
> The point is, methods may be added/deleted/redefined at runtime. This
> makes static checking very difficult in the general case.

Yes.  As Gabriele Renzi mentioned, I'm more interested in catching as
much as I can.  This sort of modification is pretty rare, in my code,
at least.  If we have something that can check 90% of the type
instances, than I can live with manually looking harder at the rest of
the 10%.

--- SER