PEP 634 Structural Pattern Matching (Python 3.10) support
CPython 3.10 release candidate 2 is now out, and the final release is less than two weeks away. By far the biggest change in the release is support for the new Structural Pattern Matching syntax. This is by far the most substantial language change Python has seen since the arrival of the walrus operator :=, and probably since the release of Python 3.
(Those not familiar with Structural Pattern Matching should probably start by reading PEP 635 which covers the motivation for this new language feature. There are separate PEPs for the full specification and a tutorial.)
Structural Pattern Matching is a big and fairly complex feature; adding it to Micropython would be a fair amount of work and add quite a bit of code to the parser. How much work and how much code are open questions, as is the question of when, if ever, it will be worth doing? The answer to this last question will depend very much on how rapidly users of CPython embrace, and come to depend on, this new feature. That said, the new syntax can save a lot of source code typing; if it gets rapid and windspread uptake it would represent a substantial incompatibility between Micropython and CPython.
Given how significant an addition this is to the Python syntax, it seems like it would be a good idea to understand the work involved and the scope of the change well before use of it in CPython becomes widespread. I am opening this issue to serve as a place to discuss those topics.
Discussion of Python 3.9 support
This issue is intended to track the status of Python 3.9 core features as implemented by MicroPython.
Python 3.9.0 (final) was released on the 5th October 2020. The Features for 3.9 are defined in PEP 596 and a detailed description of the changes can be found in What's New in Python 3.9.
- PEP 584, union operators added to dict;
- PEP 585, type hinting generics in standard collections;
- PEP 614, relaxed grammar restrictions on decorators.
- PEP 616, string methods to remove prefixes and suffixes.
- PEP 593, flexible function and variable annotations;
- PEP 573, fast access to module state from methods of C extension types;
- PEP 617, CPython now uses a new parser based on PEG;
- PEP 615, the IANA Time Zone Database is now present in the standard library in the zoneinfo module;
- PEP 602, CPython adopts an annual release cycle. Instead of annual, aiming for two month release cycle
-
__import__()now raisesImportErrorinstead ofValueError; Done, see 53519e322a5a0bb395676cdaa132f5e82de22909 - Python now gets the absolute path of the script filename specified on the command line (ex:
python3 script.py): the__file__attribute of the__main__module became an absolute path, rather than a relative path. - By default, for best performance, the errors argument is only checked at the first encoding/decoding error and the encoding argument is sometimes ignored for empty strings.
-
"".replace("", s, n)now returnssinstead of an empty string for all non-zero n. It is now consistent with"".replace("", s). - Any valid expression can now be used as a decorator. Previously, the grammar was much more restrictive.
- Parallel running of
aclose()/asend()/athrow()is now prohibited, and ag_running now reflects the actual running status of the async generator. - Unexpected errors in calling the
__iter__method are no longer masked by TypeError in the in operator and functions contains(), indexOf() and countOf() of the operator module. - Unparenthesized lambda expressions can no longer be the expression part in an if clause in comprehensions and generator expressions.
Changes to MicroPython built-in modules
- asyncio
- Due to significant security concerns, the reuse_address parameter of
asyncio.loop.create_datagram_endpoint()is no longer supported - Added a new coroutine
shutdown_default_executor()that schedules a shutdown for the default executor that waits on theThreadPoolExecutorto finish closing. Also,asyncio.run()has been updated to use the new coroutine. - Added
asyncio.PidfdChildWatcher, a Linux-specific child watcher implementation that polls process file descriptors - Added a new
coroutine asyncio.to_thread() - When cancelling the task due to a timeout,
asyncio.wait_for()will now wait until the cancellation is complete also in the case when timeout is <= 0, like it does with positive timeouts. -
asyncionow raisesTyperErrorwhen calling incompatible methods with anssl.SSLSocketsocket
- Due to significant security concerns, the reuse_address parameter of
- gc
- Garbage collection does not block on resurrected objects
- Added a new function
gc.is_finalized()to check if an object has been finalized by the garbage collector
- math
- Expanded the
math.gcd()function to handle multiple arguments. Formerly, it only supported two arguments. - Added
math.lcm(): return the least common multiple of specified arguments - Added
math.nextafter(): return the next floating-point value after x towards y - Added
math.ulp(): return the value of the least significant bit of a float
- Expanded the
- os
- Exposed the Linux-specific
os.pidfd_open()andos.P_PIDFD - The
os.unsetenv()function is now also available on Windows - The
os.putenv()andos.unsetenv()functions are now always available - Added
os.waitstatus_to_exitcode()function: convert a wait status to an exit code
- Exposed the Linux-specific
- random - Added a new
random.Random.randbytesmethod: generate random bytes
- sys
- Added a new
sys.platlibdir attribute: name of the platform-specific library directory - Previously,
sys.stderrwas block-buffered when non-interactive. Now stderr defaults to always being line-buffered.
- Added a new
(Changes to non-built-in modules will need to be documented elsewhere.)