From: Jason Voegele <jason@...>
Date: 2002-02-05T03:43:50+09:00
Subject: Re: Subclassing vs Subtyping (partly OOP vs FP)

>> 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. I like to think of this as something like a pragmatic,
> lightweight formal method with a natural transition path from XP-style
> unit testing but I'm unsure how valuable it'll be. A precursor to this
> was [ruby-talk:10855].

Sounds very interesting.  How does it differ from Design by Contract as 
implemented in Eiffel?

Jason Voegele