[Omake] Re: [CUCS Bug 545] "or" and "and" take each argument to be a _sequence_ of values.

[Jason Hickey]

Aleksey Nogin wrote:
> My model (1) is fairly simple and follows the "Boolean algebra" model as 
> well. It goes as follows - the "and" operation takes a _list_ of 
> arguments (_not_ list list) and each individual argument is converted to 
> a boolean using the "strong and" interpretation (both empty values and 
> arrays containing false are mapped to "false").

But the identity of conjunction is "true", which just means that what 
you have defined is not a conjunction.  This is the whole issue--do we 
want to re-implement $(and) so that it is not a conjunction?

To be silly, if we change the meaning of and, we should also choose the 
identity of $(add) to be 17, $(mul) to be /dev/null;)

But seriously, I would rather choose standard models and laws.

Jason

-- 
Jason Hickey                  http://www.cs.caltech.edu/~jyh
Caltech Computer Science      Tel: 626-395-6568 FAX: 626-792-4257