From: jbrunjes@... (Jim Brunjes)
Date: 2002-02-07T14:43:19+09:00
Subject: Re: Subclassing vs Subtyping (partly OOP vs FP)

"Jason Voegele" <jason@jvoegele.com> writes:
> >> Robert Feldt <feldt@ce.chalmers.se> writes:
> > I'm not sure its what you're on to here but a part of what I'm working
> > on for my thesis is a scheme where you write generalized unit tests as
> > contracts. A test system can test that objects/classes adhere to the
> > contract. 
>
> Sounds very interesting.  How does it differ from Design by Contract as 
> implemented in Eiffel?

I've been following the newsgroup over the last 2-3 months and haven't
seen much posted about DBC in Ruby.  From the archives I've seen that
there were some active experiments under discussion some time ago
(2000, early 2001).

So I'm curious, is anybody (besides Robert) doing DBC in Ruby?

Jim