From: Peter <Peter.Vanbroekhoven@...>
Date: 2003-11-22T11:59:37+09:00
Subject: Re: Partial Euphoric Type Checking (Super Duck!?)

> The thing that I fear is that the current proposals for Interface
> Checking are ... going to change Ruby for the worse.
>
> I agree with the comments that immutable interfaces are probably a
> Bad Thing, and that's a core feature of the current proposals.
>
> Why not consider doing interfaces in Ruby as bundles of DbC
> "contracts"[1]? That way, you get *dynamic* interfaces that aren't
> necessarily simplistic name-checks, which is what I'm opposed to.

I agree. But I would like to see more coming out of this meanwhile long
thread than just the next impasse. That's why I'm trying to help Sean a
bit by keeping him on the true ruby path. And maybe we've finally got
someone who's stubborn enough to give it a real try and put interface
checking to the test. If it changes ruby for the better, that great. If it
only does that for some people, and leaves other people untouched, that's
an addition too. When it changes things for the worse, we can start
arguing again...

Peter