[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Instead of pcase
From: |
Richard Stallman |
Subject: |
Re: Instead of pcase |
Date: |
Thu, 04 Jan 2024 23:23:47 -0500 |
[[[ To any NSA and FBI agents reading my email: please consider ]]]
[[[ whether defending the US Constitution against all enemies, ]]]
[[[ foreign or domestic, requires you to follow Snowden's example. ]]]
> Consider another example:
> (match* (xor (not var) t) t)
My first repsonse was to say that xor is not valid
in cond* patterns. Indeed, I did not know that this
function `xor' existed.
But now I see that your example does fit the definition of
cond* patters, and its meaning is quite unintuitive.
I wonder why people defined `xor'. It can't be used
as a conditional, like `and' and `or', so what is the point of it?
Anyway, I suppose the best response is to say that such counterintuitive
constrained variables are best avoided. Or else specifically disallow
`xor' as PRED in a constrained variable.
--
Dr Richard Stallman (https://stallman.org)
Chief GNUisance of the GNU Project (https://gnu.org)
Founder, Free Software Foundation (https://fsf.org)
Internet Hall-of-Famer (https://internethalloffame.org)