Hi, I have a question about RuleDelayed and pattern variables. I get the difference between the following two statements.
x = 1;
{1, 2, 3} /. i_Integer -> {x++}
{1, 2, 3} /. i_Integer :> {x++}
But isn't the following statement (technically) also some kind of delayed evaluation, because I'm using the pattern variable i on the right hand side of the rule?
x = 1;
{1, 2, 3} /. i_Integer -> {i, x++}
Thank you!