Hello Andreas,

Sunday, October 17, 2004, 3:35:56 PM, you wrote:

>> I did not put words in your mouth.  I expressed what I understood you
>> meant.  I'd like to know how I didn't get what you wrote.
AR> Well, for one thing, I haven't even said what I expect from a type system.

I'm sorry... from my point of view, it was implied because you had
answered to a matter of "how do you know if a selector is implemented
by the receiver when the selector exists".

For illustration purposes, how would an optional type system help the
matter above?  If it's not mandatory, then it's optional, then how is
it going to be enforced or checked?

Let's say we go the type inference way.  But if you can prove an
optional annotation is correct, then why did you type it in the first
place if you had the answer?...

Let's say you refactor the code.  It may be necessary to update the
optional annotations.  The annota tions get in the way. What do they buy
us? What is the problem?

Andres.