Почему сопоставление структурных шаблонов Python не поддерживает множественное присвоение? ⇐ Python

[Anonymous]

Я экспериментировал с сопоставлением структурных шаблонов Python и хотел написать оператор сопоставления, способный сопоставлять повторяющиеся вхождения в последовательности.
Предположим, что у меня есть следующий список кортежей и я пытаюсь для соответствия каждой паре, в которой первый элемент кортежа один и тот же.

Код: Выделить всё

from itertools import combinations

objs = (('a', 'b'), ('c', 'd', 'e'), ('f',), ('a', 'g'), ('b', 'a'))
pairs = list(combinations(objs, 2))

Целью было, чтобы мой код соответствовал паре: (('a', 'b'), ('a', 'g')), поскольку оба кортежа начинаются с 'a'.
Моя первая попытка была:

Код: Выделить всё

from itertools import combinations

objs = (('a', 'b'), ('c', 'd', 'e'), ('f',), ('a', 'g'), ('b', 'a'))
pairs = list(combinations(objs, 2))

for pair in pairs:
match pair:
# This raises Syntax Error!
case ((x, *y), (x, *z)): print('Found!')
case _: pass

Однако это вызывает: SyntaxError: множественные присвоения имени 'x' в шаблоне.
Я думаю, возможное решение состоит в том, чтобы использовать защитные меры, в которых присваиваются разные имена, такие как x1 и x2, а затем совпадают только в том случае, если x1 == x2, однако это может быстро стать довольно запутанным, если я хочу применить более одного равенство. По моему мнению, использование одного и того же имени привязки одновременно элегантно и практично, но очевидно подразумевает, что они должны быть одинаковыми.
И поэтому я спрашиваю, есть ли какая-либо причина, по которой структурное сопоставление шаблонов обеспечивает принудительное сопоставление структурных шаблонов? имена переменных должны быть разными? Есть ли более приятный способ добиться этого, которого мне не хватает?

Подробнее здесь: https://stackoverflow.com/questions/791 ... assignment