IWETHEY v. 0.3.0 | TODO
1,095 registered users | 0 active users | 0 LpH | Statistics
Login | Create New User
IWETHEY Banner

Welcome to IWETHEY!

IWETHEY Home / IWETHEY Board / Theory and Practice of Programming Forum / It is DESIGN by Contract after all
Post #199,331
by JimWeirich
Picture of JimWeirich
3/17/05 11:48:41 PM
Reply
New It is DESIGN by Contract after all
That's not strictly Eiffel;

Of course not. I don't think the concept is even original to Eiffel, but Bertrand Meyer certainly took the ideas then refined and developed them. The term "Design by Contract" is coined by Meyer and the Eiffel language is probably the best concrete implementation of DbC in a programming language.

However, it is DESIGN by Contract, not CODE by Contract. That's a clue that the concepts apply to something broader than a just a programming language. In fact, it is quite possible to design a system using DbC without ever having direct language support for DbC.
--
-- Jim Weirich jim@weirichhouse.org [link|http://onestepback.org|http://onestepback.org]
---------------------------------------------------------------------
"Beware of bugs in the above code; I have only proved it correct,
not tried it." -- Donald Knuth (in a memo to Peter van Emde Boas)
Post #199,494
by jake123
3/19/05 3:09:19 AM
Reply
New As you say
the fact that you don't need specific language support to use the concept when designing an app is sorta my point.

It is a very useful design concept, no matter what language you use.
--\n-------------------------------------------------------------------\n* Jack Troughton                            jake at consultron.ca *\n* [link|http://consultron.ca|http://consultron.ca]                   [link|irc://irc.ecomstation.ca|irc://irc.ecomstation.ca] *\n* Kingston Ontario Canada               [link|news://news.consultron.ca|news://news.consultron.ca] *\n-------------------------------------------------------------------
     Question about exceptions - (drewk) - (31) - March 16, 2005, 04:22:29 PM EST
         Lots of discussions about that - (FuManChu) - (6) - March 16, 2005, 04:38:14 PM EST
             That only goes for one kind of exceptions! - (CRConrad) - (1) - March 16, 2005, 04:43:24 PM EST
                 What does the "checked" mean to you? - (FuManChu) - March 16, 2005, 05:55:46 PM EST
             But he's saying that you should use both - (drewk) - (3) - March 16, 2005, 05:18:00 PM EST
                 My rule of thumb is, - (Arkadiy) - March 16, 2005, 05:40:27 PM EST
                 Pick one and stick with it. - (admin) - March 16, 2005, 06:04:02 PM EST
                 You can do both (or more accurately: either) with or without - (FuManChu) - March 16, 2005, 06:05:51 PM EST
         Re: Question about exceptions - (JimWeirich) - (23) - March 16, 2005, 07:35:00 PM EST
             Nice point about responsibility, but grey areas abound - (FuManChu) - (11) - March 16, 2005, 07:46:02 PM EST
                 Re: Nice point about responsibility, but grey areas abound - (JimWeirich) - (10) - March 17, 2005, 03:30:15 PM EST
                     No, we don't - (drewk) - (9) - March 17, 2005, 05:25:32 PM EST
                         The difference is simple - (ben_tilly) - (8) - March 17, 2005, 05:57:25 PM EST
                             Problem with that - (drewk) - (4) - March 17, 2005, 06:13:50 PM EST
                                 See? Whether it is an error IS ambiguous! -NT - (ben_tilly) - (2) - March 17, 2005, 06:19:06 PM EST
                                     I think I know what to do then - (drewk) - (1) - March 17, 2005, 06:28:16 PM EST
                                         Exactly -NT - (ben_tilly) - March 17, 2005, 06:59:56 PM EST
                                 Re: Problem with that - (JimWeirich) - March 17, 2005, 11:59:18 PM EST
                             Thats the sort of logic that makes me wary of exceptions. - (static) - (2) - March 17, 2005, 08:18:40 PM EST
                                 Exceptions are one form of Continuation - (ChrisR) - (1) - March 17, 2005, 10:33:45 PM EST
                                     Icon's generators rely on the failure model. - (static) - March 18, 2005, 01:24:49 AM EST
             Disabling assertions - (ChrisR) - (3) - March 16, 2005, 07:52:17 PM EST
                 That's one of the points he raised - (drewk) - (2) - March 16, 2005, 08:59:04 PM EST
                     Expense is relative - (ChrisR) - March 16, 2005, 11:52:33 PM EST
                     Re: That's one of the points he raised - (JayMehaffey) - March 17, 2005, 08:31:12 AM EST
             DbC? -NT - (drewk) - (6) - March 16, 2005, 09:32:24 PM EST
                 Design by Contract - (Yendor) - (5) - March 16, 2005, 10:05:14 PM EST
                     Not the same thing. - (admin) - (4) - March 16, 2005, 10:31:01 PM EST
                         That's not strictly Eiffel; - (jake123) - (3) - March 17, 2005, 05:31:51 PM EST
                             It's built into Eiffel - (admin) - March 17, 2005, 06:01:57 PM EST
                             It is DESIGN by Contract after all - (JimWeirich) - (1) - March 17, 2005, 11:48:41 PM EST
                                 As you say - (jake123) - March 19, 2005, 03:09:19 AM EST

*snort*
87 ms