From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,1901f265c928a511 X-Google-Attributes: gid103376,public Path: controlnews3.google.com!news1.google.com!news.glorb.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local1.nntp.dca.giganews.com!nntp.gbronline.com!news.gbronline.com.POSTED!not-for-mail NNTP-Posting-Date: Wed, 02 Jun 2004 09:53:46 -0500 Date: Wed, 02 Jun 2004 09:54:17 -0500 From: Wes Groleau Reply-To: groleau+news@freeshell.org Organization: Ain't no organization here! User-Agent: Mozilla Thunderbird 0.5 (Macintosh/20040208) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: gratuitous restrictions (was:Typing in Ada) References: <2i1t1lFij4g5U1@uni-berlin.de> <9ZRuc.8410$hB2.7017@nwrdny03.gnilink.net> <40BCE5E8.4040305@tidorum.fi> <40BDB944.3060605@noplace.com> In-Reply-To: <40BDB944.3060605@noplace.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: NNTP-Posting-Host: 69.9.86.58 X-Trace: sv3-Dp3uEdCgP+LfiZiw9029yToq+he5LNNdNMa5uI4QKkJXl6uZFM7iaeJ682+bjM4Oo5eyJ02rIP3gXHN!euBMiWyJAbq30xDSGRK+UK77/5bsqB/nBaNvUzF3h3AMQ/vkD+7BbQR8Me0njGddTACD9pmpBwHu X-Complaints-To: abuse@gbronline.com X-DMCA-Complaints-To: abuse@gbronline.com X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.1 Xref: controlnews3.google.com comp.lang.ada:1028 Date: 2004-06-02T09:54:17-05:00 List-Id: Marin David Condic wrote: > Sometimes its an issue for verification. .... > .... case of avoiding building the proverbial brick outhouse - don't make it > do anything more than is required because you can't then be sure it will > handle those cases correctly. Yes, in cases like this, such a construct may be justified. But here there is a derived requirement to _not_ go over. What bothers me is wasting time implementing restrictions that are not required and add no value (not even in readability). Especially when the restrictions one is implementing include code complexity, _increasing_ the chance for bugs. -- Wes Groleau "Would the prodigal have gone home if the elder brother was running the farm?" -- James Jordan