News for hackers. Stuff that matters.
Re:Pattern matching accepted for Python by vitus on Tuesday February 09, 2021 @03:59PM (#26082323)
Correct.

> Patterns may use named constants. These must be dotted names to prevent them from being interpreted as capture variable:

NOT_FOUND would always match as a capture variable, so you'd always return default().

I fully expect this to be covered by linters, but not with further language support.

Re:Pattern matching accepted for Python by mvolfik on Tuesday February 09, 2021 @04:51PM (#26082826)
yeah, I would also expect the linters to catch this. has some way to allow use of non-dotted constants been considered? something like window.global_variable in JavaScript? Or would I need to do something like this:?

  NOT_FOUND = 404
  m = {"NOT_FOUND": NOT_FOUND}
  match value:
    case m["NOT_FOUND"]:
      pass
Re:Pattern matching accepted for Python by chriswarbo on Tuesday February 09, 2021 @07:04PM (#26084244)
You can do

    NOT_FOUND = 404
    match value:
      case v if v == NOT_FOUND:
        pass
On its own this is a convoluted alternative to `if`, but it can be useful when we have lots of patterns.

Alternatively, we can avoid using a separate `v` variable and just use `value` directly:

    NOT_FOUND = 404
    match value:
      case _ if value == NOT_FOUND:
        pass
We can even match on a trivial value, and do all of the interesting checks using guards:

    NOT_FOUND = 404
    match None:
      case _ if value == NOT_FOUND:
        pass
This latter form acts like Lisp's `cond`, and I've used it a few times in Scala, e.g.

    () match {
      case _ if foo >  bar => ...
      case _ if foo <  bar => ...
      case _ if foo == bar => ...
    }
Re:Pattern matching accepted for Python by hyperbovine on Wednesday February 10, 2021 @05:01AM (#26087359)
But all of these alternatives are strictly less intuitive than the original expression. A big reason why I got into Python was because it’s the language that can be “read by anyone”, even those who do not know Python. This latest PEP, coming on the heels of several others like it, shows how alarmingly far from the ideal we’ve come since 2.7.
Re:Pattern matching accepted for Python by chriswarbo on Wednesday February 10, 2021 @06:30AM (#26087910)
> But all of these alternatives are strictly less intuitive than the original expression.

I agree; I was just trying to show how pattern guards work. I would only resort to pattern guards if I need a `cond` (like my last example), or on a few cases of a more 'natural' pattern match, e.g.

    match foo():
      case OK(msg):
        return success(msg)
      case NotFound(_) if isQuery:
        return success("No results matched query")
      case NotFound(msg):
        return failure(msg)
      ...
If I were to implement your original example (i.e. 'which of these constants do I have?'), I'd probably still go with a "dictionary dispatch" (especially since it's an expression, so it works in lambdas, etc.):

    return {
      NOT_FOUND: default,
      OK: response,
    }[getCode()]()
Re:Pattern matching accepted for Python by pansa2 on Wednesday February 10, 2021 @05:29AM (#26087524)
> A big reason why I got into Python was because it’s the language that can be “read by anyone”, even those who do not know Python.

Yes! For the first 2 decades of its life, people loved Python because it was like “executable pseudocode”. Unfortunately over the last 5-10 years it seems to have given up on that idea, instead becoming more and more like “whitespace-sensitive C++”.

Re:Pattern matching accepted for Python by TrianguloY on Tuesday February 09, 2021 @05:16PM (#26083133)
I may be wrong, but after reading the grammar I think your example is a syntax error. You can't access an element! A pattern syntax is completely different to a normal expression, and there is apparently no array access.
Re:Pattern matching accepted for Python by mvolfik on Tuesday February 09, 2021 @05:31PM (#26083319)
hmm, so I would need to use some namespace class https://docs.python.org/3.8/library/types.html#types.SimpleN...