From: Chris Morris <chrismo@...>
Date: 2003-11-21T23:11:00+09:00
Subject: Re: Partial Euphoric Type Checking (Super Duck!?)

> you see we have a problem here. it doesn't matter what methods are 
> implemented, because '>' for a String and '>' for a Numeric don't DO
> the same KIND OF thing. the operators are overloaded. so respond_to? isn't 
> enough. we end up having to think about what will be passed to those 
> responding methods as well -- we end up having to ask not only, can you 
> handle the responsibilities? but can you handle the arguments? (sounds like a 
> thread i know ;)

So we'd like the code we write to tell us when we've screwed up, but a typing system is basically not smart enough, because type alone does not determine functionality.

I guess we're back to unit testing.

Or am I over-simplifying?

--
Chris
http://clabs.org