On Mar 10, 2021, at 8:33 AM, Remi Forax <[email protected]> wrote: > > As i said to Gavin, i'm not at ease with using the symbol '&' in between > patterns.
Aren’t patterns inherently sequential and short-circuiting? Or am I having a failure of imagination? All of the pattern syntaxes mimic expression syntaxes, but expressions are (generally) non-short-circuiting, entailing unconditional evaluation of subexpressions. But every subpattern of a pattern is conditional, which is different from expressions. Thus, & in pattern-land is short-circuiting. (What would a non-short-circuiting pattern look like?)
