Re: Assert() and Friends

To: info-dylan@ai.mit.edu
Subject: Re: Assert() and Friends
From: Rob Myers <robm@h2g2.com>
Date: Fri, 16 Feb 2001 11:17:45 +0000
Organization: Pan H2G2
References: <20010216085811.23328.qmail@web2102.mail.yahoo.com>
Reply-To: robm@h2g2.com
Sender: owner-info-dylan@ai.mit.edu

So are DBC and exceptions mutually exclusive ways of achieving the same
goals, or is it more a matter of ideology? I think I prefer asserts,
because I've never seen the exception handling code that works.... :-)

- Rob.

Gabor Greif wrote:
> 
> Sounds perfectly reasonable to me (as long you have no
> dependencies on Mindy and no assert from another
> library imported). Probably nobody bothered yet
> because dylan will signal an error anyway later if
> something is wrong i.e. if there is some type or other
> semantic error. That runtime error is also rather
> informative. The logical consequence of your assert
> macro is design by contract (DBC) popularized by
> Eiffel. 

-- 
Rob Myers - http://www.robmyers.org/   
"Narafala dei mo narafala dei mo narafala dei, 
 Wokabaot snel-spid dei long dei..."
 - Ken Campbell, Wol Wantok.

References:

Re: Assert() and Friends

From: Gabor Greif <gabor68@yahoo.com>