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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,a00006d3c4735d70 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2004-02-01 13:05:17 PST Path: archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.mathworks.com!wn11feed!worldnet.att.net!bgtnsc05-news.ops.worldnet.att.net.POSTED!not-for-mail From: David Starner Subject: Re: In-Out Parameters for functions User-Agent: Pan/0.14.2 (This is not a psychotic episode. It's a cleansing moment of clarity. (Debian GNU/Linux)) Message-Id: Newsgroups: comp.lang.ada References: <1075482385.142744@master.nyc.kbcfp.com> <1%_Sb.6686$bn1.6285@nwrdny02.gnilink.net> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit Date: Sun, 01 Feb 2004 21:05:17 GMT NNTP-Posting-Host: 12.72.182.219 X-Complaints-To: abuse@worldnet.att.net X-Trace: bgtnsc05-news.ops.worldnet.att.net 1075669517 12.72.182.219 (Sun, 01 Feb 2004 21:05:17 GMT) NNTP-Posting-Date: Sun, 01 Feb 2004 21:05:17 GMT Organization: AT&T Worldnet Xref: archiver1.google.com comp.lang.ada:5170 Date: 2004-02-01T21:05:17+00:00 List-Id: On Sun, 01 Feb 2004 04:10:37 +0000, Hyman Rosen wrote: > When you use a language that does not > specify evaluation order and does not require the implementation to document > evaluation order, you will gain absolutely zero knowledge about "dangerous > non-commutativity" whatever the heck that might even mean You won't gain knowledge by brute force, but it does permit certain reasoning, formal and informal, about code that you can't do if the language forces evaluation order.