----
Think harder and think about Design by Contract and subverting meaning :-)
RB wasn't designed by contract. I'm not sure what you mean with 'subverting
meaning'.
----
see: http://www.digitalmars.com/d/dbc.html
Contracts are a technique to reduce the programming effort for large
projects. Contracts are the concept of preconditions, postconditions,
errors, and invariants.
AND
http://www.scism.sbu.ac.uk/law/Section5/chap1/s5c1p4.html
The calling environment fulfils its part of the contract by ensuring that it
only ever calls the subprogram with a set of actual parameters which comply
with the pre-condition. The subprogram in its turn fulfils the contract by
ensuring that if it is supplied with acceptable input parameters it will
always provide results which comply with its post-condition. That is to say
that it will fulfil its advertised specification to transform its input data
into the output data.
some (programming) languages derive some of their panache from PBC /DBC,
--e--
_________________________________________________________________
Express yourself instantly with MSN Messenger! Download today - it's FREE!
http://messenger.msn.click-url.com/go/onm00200471ave/direct/01/
_______________________________________________
Unsubscribe or switch delivery mode:
<http://www.realsoftware.com/support/listmanager/>
Search the archives of this list here:
<http://support.realsoftware.com/listarchives/lists.html>
