Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.soft-sys.math.mathematica > #16464

Re: Why does _+_==2_ (or, why is HoldPattern required

Show all headers | View raw

On 1/20/2014 10:42 PM, Itai Seggev wrote:
> MatchQ[x+x, _+_] would return False


That is actually much less surprising to me:
one expects evaluation of the first expression.
What is quite surprising is that `_+_` does
not stand for any+thing, `_*_` does
not stand for any*thing, etc.
(Not unless one uses HoldPattern.)
I do not consider these "edge cases".

As you say, a decision had to be made.
I am just trying to understand the decision.
Your answer that it treats all symbolic expressions
equally is very likely a good answer in the end,
but of course on its own it begs the question.

Thanks,
Alan Isaac

Back to comp.soft-sys.math.mathematica | Previous | Next | Find similar

Thread

Re: Why does _+_==2_  (or, why is HoldPattern required Alan G Isaac <alan.isaac@gmail.com> - 2014-01-22 08:27 +0000

csiph-web