From: Jens Auer Date: 2006-02-17T17:43:32+09:00 Subject: Re: OT: Is this worth a try? Logan Capaldo wrote: > > On Feb 16, 2006, at 12:35 PM, Edgardo Hames wrote: > >> On 2/16/06, Jens Auer 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. Sorry, but I can't see the posting from Edgardo Hames, Feb 16, 2006, at 12:35 PM. Can anybody repost it, so that it shows up in the newsgroup?