status of Programming by Contract (PEP 316)?

[Marc 'BlackJack' Rintsch]

On Sat, 01 Sep 2007 10:34:08 +0200, Hendrik van Rooyen wrote:

> "Carl Banks" <pavl....mail.com> wrote:
> 
>> This is starting to sound silly, people.  Critical is a relative term, 
>> and one project's critical may be anothers mundane.  Sure a flaw in your 
>> flagship product is a critical problem *for your company*, but are you 
>> really trying to say that the criticalness of a bad web search is even 
>> comparable to the most important systems on airplanes, nuclear reactors, 
>> dams, and so on?  Come on.
> 
> This really intrigues me - how do you program a dam?  - and why is it
> critical?
> 
> Most dams just hold water back.

And some produce electricity.  And most if not all can regulate how many
water is let through.  If something goes wrong the valley behind the dam
gets flooded.  If this is controlled by a computer you have the need for
reliable software.

Ciao,
	Marc 'BlackJack' Rintsch