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!border1.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!wn11feed!worldnet.att.net!207.35.177.252!nf3.bellglobal.com!nf1.bellglobal.com!nf2.bellglobal.com!news20.bellglobal.com.POSTED!not-for-mail 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> <4134A884.50909@cogeco.ca> In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: Date: Wed, 01 Sep 2004 12:58:34 -0400 NNTP-Posting-Host: 198.96.223.163 X-Complaints-To: abuse@sympatico.ca X-Trace: news20.bellglobal.com 1094057814 198.96.223.163 (Wed, 01 Sep 2004 12:56:54 EDT) NNTP-Posting-Date: Wed, 01 Sep 2004 12:56:54 EDT Organization: Bell Sympatico Xref: g2news1.google.com comp.lang.ada:3248 Date: 2004-09-01T12:58:34-04:00 List-Id: Georg Bauhaus wrote: > Warren W. Gay VE3WWG wrote: > : 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. > > OK, if the meaning of predefined identifiers if changed, > there is nothing to prove. OTOH, there is nothing to be > tested in such a language, because you could as well assume > that the value of an expression is a function of time... > > -- Georg Exactly - welcome to dynamic languages! ;-) -- Warren W. Gay VE3WWG http://home.cogeco.ca/~ve3wwg