[e-mail addresses have been removed to frustrate mining by spammers.] From: Dennis E. Hamilton Sent: Sunday, May 23, 2004 10:03 To: William L Anderson Subject: RE: Num.java Security Label: Signed Wow! OK, 1. We have moved from comments to e-mail. That is interesting. 2. Although my note was intentionally crude, I see that our automatic induction of meaning has already led to something interesting. I had not omitted the result type of pred() and next(), although I can see how that could be seen as a mistake by me. 3. Here is an update based on your version. 3.1 It is interesting to wonder whether there is some advantage in changing the names of pred() and next() to something else, although that has only a temporary advantage. 3.2 Likewise, I am not happy about isOrigin versus is0, although changing the name is useful. I am not certain about "origin" is all. 4. There is more, but I wanted to turn that much around. I need to go off and organize a bunch of stuff right now, as well as prepare breakfast for Vicki. Ciao, -- Dennis -----Original Message----- From: William L Anderson Sent: Saturday, May 22, 2004 18:46 Subject: Re: FW: [Orcmid's Lair] 5/22/2004 11:46:39 AM Dennis, I decided to do what seemed like the simplest thing and wrote the attached interface that does compile. Of course, it doesn't really help with understanding what a Num is; it just says they are ints. This is really shallow, quick, hacking. I will read your notes more carefully and think about it. Bill