[Python-Dev] Re: Words rather than sigils in Structural Pattern Matching

2020-11-16 Thread Marco Sulla
On Tue, 17 Nov 2020 at 03:52, Steven D'Aprano wrote: > Here is a more representative example, borrowed from here: > > https://gvanrossum.github.io//docs/PyPatternMatching.pdf > > > match node: > case BinOp(Num(left), '+', Num(right)): > return Num(left + right) >

[Python-Dev] Re: Words rather than sigils in Structural Pattern Matching

2020-11-16 Thread Steven D'Aprano
On Sat, Nov 14, 2020 at 11:11:37PM +1000, Nick Coghlan wrote: > On Fri, 13 Nov 2020 at 09:39, David Mertz wrote: > > > > I have read a great deal of discussion on the pattern matching PEPs and > > less formal discussions. It is possible I have overlooked some post in all > > of that, of

[Python-Dev] Re: Distro packagers: PEP 615 and the tzdata dependency

2020-11-16 Thread Barry Warsaw
On Nov 16, 2020, at 11:51, Paul Ganssle wrote: > > Not to put words in Barry's mouth, but I took Barry's comment to be more an > answer to the question of how to contact "distro packagers" as a group, more > than he was taking a position about this particular issue. Correct! Cheers, -Barry

[Python-Dev] Re: Questions about about the DLS 2020

2020-11-16 Thread Terry Reedy
On 11/16/2020 11:57 AM, Tobias Kohn wrote: 1.  This really comes down to how you look at it, or how you define pattern matching.  The issue here is that the concept of pattern matching has grown into a large and somewhat diverse flock of interpretations and implementations (as a side note:

[Python-Dev] Re: [python-committers] Re: Steering Council Election Timeline for 2021 term

2020-11-16 Thread Brett Cannon
Ernest closed the nominations and we ended up with 10 nominees! Thanks to everyone who stepped forward to serve on the SC. I would like to encourage people to take the time to read everyone's nomination posts as stances on a wide variety of topics ranging from pattern matching to the Code of

[Python-Dev] Re: Distro packagers: PEP 615 and the tzdata dependency

2020-11-16 Thread Paul Ganssle
Good to know. I think one reason I wouldn't immediately think to send things to Linux-SIG is that for me "distro packagers" also includes people maintaining packages in the BSD, Solaris, conda-forge, homebrew, etc ecosystems. It might make sense to have a dedicated list or discourse for distro

[Python-Dev] Re: Distro packagers: PEP 615 and the tzdata dependency

2020-11-16 Thread Paul Ganssle
> why is this dependency needed? The tzdata package is marked with Priority > required. See Debian policy 2.5. > > Matthias Not to put words in Barry's mouth, but I took Barry's comment to be more an answer to the question of how to contact "distro packagers" as a group, more than he was taking

[Python-Dev] Re: Questions about about the DLS 2020

2020-11-16 Thread Terry Reedy
On 11/16/2020 6:14 AM, Mark Shannon wrote: 2. Is the error in the ast matching example, an intentional "simplification" or just an oversight? The example: ``` def simplify(node):     match node:     case BinOp(Num(left), '+', Num(right)):     return Num(left + right)    

[Python-Dev] Re: Distro packagers: PEP 615 and the tzdata dependency

2020-11-16 Thread Matthias Klose
On 11/16/20 6:46 PM, Barry Warsaw wrote: > That’s what I was going to suggest. I’m not doing any Debian or Ubuntu work > these days, but Matthias Klose should be watching both lists, and should be > able to handle the Debuntu stack. why is this dependency needed? The tzdata package is marked

[Python-Dev] Re: PEP 642 v2: Explicit constraint patterns *without* question marks in the syntax

2020-11-16 Thread MRAB
On 2020-11-16 08:54, Glenn Linderman wrote: On 11/15/2020 11:18 PM, Stephen J. Turnbull wrote: Jim J. Jewett writes: > What advantage can there be in re-using syntax to mean something > opposite to what it normally does? In math, it allows us to write "solve c = f(x) for x". That doesn't

[Python-Dev] Re: Distro packagers: PEP 615 and the tzdata dependency

2020-11-16 Thread Barry Warsaw
That’s what I was going to suggest. I’m not doing any Debian or Ubuntu work these days, but Matthias Klose should be watching both lists, and should be able to handle the Debuntu stack. -Barry > On Nov 16, 2020, at 07:45, Miro Hrončok wrote: > > On 11/16/20 4:10 PM, Paul Ganssle wrote: >>>

[Python-Dev] Re: Questions about about the DLS 2020

2020-11-16 Thread Tobias Kohn
Hi Mark, Thank you for your interest and the questions. 1.  This really comes down to how you look at it, or how you define pattern matching.  The issue here is that the concept of pattern matching has grown into a large and somewhat diverse flock of interpretations and implementations

[Python-Dev] Re: The semantics of pattern matching for Python

2020-11-16 Thread Guido van Rossum
Thanks Mark, this is a helpful and valuable contribution. I will try to understand and review it in the coming weeks (there is no hurry since the decision is up to the next SC) but I encourage you to just put it in PEP form and check it into the PEP repo. Because I only skimmed very briefly, I

[Python-Dev] Re: Distro packagers: PEP 615 and the tzdata dependency

2020-11-16 Thread Filipe Laíns
On Mon, 2020-11-16 at 09:32 -0500, Paul Ganssle wrote:   Hi all,    One part of PEP 615 (IANA time zones) that I expected to be easily overlooked (a point about which I seem to have been right) is the recommendation that starting with Python 3.9, distros should add a dependency on the system time

[Python-Dev] Re: Distro packagers: PEP 615 and the tzdata dependency

2020-11-16 Thread Miro Hrončok
On 11/16/20 4:10 PM, Paul Ganssle wrote: Maybe it would make sense to create a community mailing list for packagers? That sounds like a good idea to me. I am following the Linux SIG mailing list. But it's mostly dead. https://mail.python.org/archives/list/linux-...@python.org/ -- Miro

[Python-Dev] Re: Distro packagers: PEP 615 and the tzdata dependency

2020-11-16 Thread Paul Ganssle
On 11/16/20 9:57 AM, Filipe Laíns wrote: > In Arch Linux, tzdata is a dependency of glibc, which is part of the > base[1] package that should be present on every installation. So, there > is no action necessary :) > We could make it an explicit dependency, but that it not necessarily > required,

[Python-Dev] Re: Distro packagers: PEP 615 and the tzdata dependency

2020-11-16 Thread Christian Heimes
On 16/11/2020 15.32, Paul Ganssle wrote: > Hi all, > > One part of PEP 615 (IANA time zones) that I expected to be easily > overlooked (a point about which I seem to have been right) is the > recommendation that starting with Python 3.9, distros should add a > dependency on the system time zone

[Python-Dev] The semantics of pattern matching for Python

2020-11-16 Thread Mark Shannon
Hi everyone, There has been much discussion on the syntax of pattern matching for Python (in case you hadn't noticed ;) Unfortunately the semantics seem to have been somewhat overlooked. What pattern matching actually does seems at least as important as the syntax. I believe that a

[Python-Dev] Distro packagers: PEP 615 and the tzdata dependency

2020-11-16 Thread Paul Ganssle
Hi all, One part of PEP 615 (IANA time zones) that I expected to be easily overlooked (a point about which I seem to have been right) is the recommendation that starting with Python 3.9, distros should add a dependency on the system time zone data to the Python package. Quoting the PEP: > Python

[Python-Dev] Questions about about the DLS 2020

2020-11-16 Thread Mark Shannon
Hi Tobias, A couple of questions about the DLS 2020 paper. 1. Why do you use the term "validate" rather than "test" for the process of selecting a match? It seems to me, that this is a test, not a validation, as no exception is raised if a case doesn't match. 2. Is the error in the ast

[Python-Dev] Re: PEP 642 v2: Explicit constraint patterns *without* question marks in the syntax

2020-11-16 Thread Glenn Linderman
On 11/15/2020 11:18 PM, Stephen J. Turnbull wrote: Jim J. Jewett writes: > What advantage can there be in re-using syntax to mean something > opposite to what it normally does? In math, it allows us to write "solve c = f(x) for x". That doesn't mean "bind c to the value f(x)", it means