Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10 5/3/83; site pyuxss.UUCP Path: utzoo!watmath!clyde!burl!ulysses!mhuxl!mhuxm!pyuxww!pyuxss!aaw From: aaw@pyuxss.UUCP (Aaron Werman) Newsgroups: net.lang Subject: Re: Superstition in Programmers Message-ID: <269@pyuxss.UUCP> Date: Fri, 3-Feb-84 14:26:12 EST Article-I.D.: pyuxss.269 Posted: Fri Feb 3 14:26:12 1984 Date-Received: Wed, 8-Feb-84 04:20:45 EST References: <322@decvax.UUCP>, <598@dciem.UUCP>, <904@cwruecmp.UUCP> Organization: Central Services Org., Piscataway N.J. Lines: 17 About use of stronger comparisons in programming. The point of comparisons is partitioning objects. Clearly, the partitions do not hold if the comparison operators are changed. This makes proof, etc. unnatural. so why not: for (i=0; i != max; ++i) {assert(i{harpo,houxm,ihnp4}!pyuxss!aaw Aaron Werman