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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,c406e0c4a6eb74ed X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!news.glorb.com!wns13feed!worldnet.att.net!207.35.177.252!nf3.bellglobal.com!nf1.bellglobal.com!nf2.bellglobal.com!news20.bellglobal.com.POSTED!not-for-mail Message-ID: <4134A884.50909@cogeco.ca> From: "Warren W. Gay VE3WWG" User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.7.2) Gecko/20040804 Netscape/7.2 (ax) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: ADA Popularity Discussion Request References: <49dc98cf.0408110556.18ae7df@posting.google.com> <1092233689.719755@master.nyc.kbcfp.com> <2nutq5F4sdqqU1@uni-berlin.de> <5ksXc.22738$_H5.696424@news20.bellglobal.com> In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Date: Tue, 31 Aug 2004 12:34:12 -0400 NNTP-Posting-Host: 198.96.223.163 X-Complaints-To: abuse@sympatico.ca X-Trace: news20.bellglobal.com 1093969952 198.96.223.163 (Tue, 31 Aug 2004 12:32:32 EDT) NNTP-Posting-Date: Tue, 31 Aug 2004 12:32:32 EDT Organization: Bell Sympatico Xref: g2news1.google.com comp.lang.ada:3215 Date: 2004-08-31T12:34:12-04:00 List-Id: Georg Bauhaus wrote: > Warren W. Gay VE3WWG wrote: > > : With dynamic languages (like Postscript for > : example), you need to test everything to have any confidence > : at all in the code. > > I had thought that even with dynamic languages you can > show that a given algorithm is correct. When the language > is welldefined. Can the following Postscript program fail? > > %! > newpath > 10 10 moveto > 100 0 rlineto > 0 100 rlineto > 100 neg 0 rlineto > closepath > stroke > showpage It can, if the code executing prior to it has redefined "neg" for example. This is all beside the point, because anyone can produce small examples. They don't prove anything in general. -- Warren W. Gay VE3WWG http://home.cogeco.ca/~ve3wwg