From: Robert Feldt <feldt@...>
Date: 2002-02-06T19:06:08+09:00
Subject: Re: Subclassing vs Subtyping (partly OOP vs FP)

On Tue, 5 Feb 2002, Jason Voegele wrote:

> >> 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?
> 
Its in the same spirit although the focus is on testing and not so much
for on-line assertions.

I'll be back with more info as I write this up.

/Robert