[racket] Boolean expressions [Was: static variables question]

On Sun, Feb 19, 2012 at 1:03 PM, Hendrik Boom <hendrik at topoi.pooq.com> wrote:
> On Sun, Feb 19, 2012 at 07:05:37AM -0600, Robby Findler wrote:
>> On Sun, Feb 19, 2012 at 12:30 AM, Gary Baumgartner <gfb at cs.toronto.edu> wrote:
>> > On a more productive note: in Racket code I define and use 'implies' a lot,
>> >  often conjoined, for predicates. It's mainly of declarative value, which is
>> >  perhaps why it's uncommon in implementation despite how common it is in
>> >  specification. And for boolean expressions in general I also use 'neither'.
>> >  Are these something that others [would] use and so could be added to Racket's
>> >  library?
>>
>> Seems to me adding implies, nand, and nor to racket/bool is a good idea.
>>
>> Let me know if you disagree (and if you disagree after I've already
>> committed, it is a simple thing to drop the commit or change it).
>
> The trouble is, I can never remember which of 'nand' and 'nor' is
> which.  Either of them could mean 'neither'.  But I do know what
> 'neither' means.

'nor' is standard terminology for boolean functions, which is why I
went with that. I've edited the docs to use the word "neither".

If it helps, the usual English construction is "neither A nor B", so
maybe that's a good memory clue.

Robby