The Artima Developer Community
Sponsored Link

Weblogs Forum
Programming with Contracts

15 replies on 2 pages. Most recent reply: Oct 22, 2004 5:44 PM by Todd Blanchard

Welcome Guest
  Sign In

Go back to the topic listing  Back to Topic List Click to reply to this topic  Reply to this Topic Click to search messages in this forum  Search Forum Click for a threaded view of the topic  Threaded View   
Previous Topic   Next Topic
Flat View: This topic has 15 replies on 2 pages [ « | 1 2 ]
Todd Blanchard

Posts: 316
Nickname: tblanchard
Registered: May, 2003

Re: Programming with Contracts Posted: Oct 22, 2004 5:44 PM
Reply to this message Reply
Advertisement
Contracts as a concept has been around for quite awhile - with much handwaving over exactly what it means (preconditions and postconditions are not assertions says Meyer, but in eiffel, they look very much like assertions to me).

I think its a black hole adding no more value than a comment. If you really want to prevent bugs in your software, write it so you can test easily and often. In many ways, unit tests have been the only practical technique of contract enforcement I have seen.

Flat View: This topic has 15 replies on 2 pages [ « | 1  2 ]
Topic: Anatomy of Insanity? Previous Topic   Next Topic Topic: Duplication Ain't Always Bad


Sponsored Links



Google
  Web Artima.com   

Copyright © 1996-2014 Artima, Inc. All Rights Reserved. - Privacy Policy - Terms of Use - Advertise with Us