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