From: Edgardo Hames <ehames@...>
Date: 2006-02-17T02:35:57+09:00
Subject: Re: OT: Is this worth a try?

On 2/16/06, Jens Auer <jens.auer-news@betaversion.net> wrote:
>
> Design by contract is a little bit more than placing asserts at the
> beginning and end of a method. I would be realy glad if someone points
> me to some library wich implements DbC completely in Ruby, eg the fact
> that a method can only widen the supermethod's contracts which is
> automatically checked.

I assume that "automatically checked" means checking the contracts at
compile time.
That's an undecidible problem.

Cheers,
Ed
--
Encontr� a "Tu psic�pata favorito" http://tuxmaniac.blogspot.com
	
Thou shalt study thy libraries and strive not to reinvent them without cause,
that thy code may be short and readable and thy days pleasant and productive.
-- Seventh commandment for C programmers