"Structural pattern matching" for Python, part 2

"Structural pattern matching" for Python, part 2

And maybe CapturedVar() can be callable again, returning another CapturedVar() instance with a type attached, so you can write

  from matching import match, capture

  with match(p) as matches:
    if m := matches((capture.x(int), capture.y(int))):
      print("Diagonal at %d" % (m.x, ))
    elif m := matches((0, capture.y(int))):
      print("X-axis at %d" % (m.y, ))
    elif m := matches((capture.x(int), capture.y(int))):
      print("Point at (%d, %d)" % (m.x, m.y))
    elif m := matches((capture.x, capture.y)):
      raise ValueError("It's a tuple, but not with integers")
    else:
      raise ValueError("Not a 2-tuple")
  return Point(*p)

Note: you can avoid this step in the future by logging into your LWN account.