From: Anders Bengtsson <ndrsbngtssn@...>
Date: 2003-04-25T19:52:00+09:00
Subject: Re: Design By Contract.

 --- Robert Klemme <bob.news@gmx.net> wrote:

> Since ruby is dynamically typed currently I don't see much chance to
> have
> DBC in ruby.  You can't even fix argument types of methods in the
> interface.  You can of course do argument (type) checking at runtime,
> but
> there's not static type information about arguments.

Static types and contracts are almost orthogonal, since contracts are
concerned with how the code actually behaves. Sure, you don't have
separate interfaces to define the contracts in, but most of what
contracts provide could be done.

/Anders


=====
__________________________________________________
Anders Bengtsson              ndrsbngtssn@yahoo.se
Stockholm, Sweden

_____________________________________________________
G� f�re i k�n och f� din sajt v�rderad p� nolltid med Yahoo! Express
Se mer p�: http://se.docs.yahoo.com/info/express/help/index.html