Что Python 3.9 нам готовит? Новые фичи первой бета-версии

Вводится новый оператор объединения словарей

• Метод dict.update.
  Данный метод модифицирует словарь, к которому применяется. Например, выражение dict_1.update(dict_2) изменяет словарь dict_1. Это не всегда удобно на практике.
  
• Использование распаковки вида {**d1, **d2}
  
  В PEP 584 привели цитату Гвидо, который сказал о том, что «даже если пользователи Python знакомы с использованием конструкции распаковки **d в другом контексте, он сомневается, что они смогут сходу предложить такой способ объединения словарей». Гвидо признается, что и сам забыл про этот способ.
  
  К тому же, конструкция {**d1, **d2} игнорирует mapping-типы. Поэтому не все подклассы dict будут совместимы с ней (например, collections.defaultdict не может быть использован).
  
• Использование collections.ChainMap
  
  Данный класс не очень распространен, и многие считают его неочевидным. Если в объединяемых словарях есть дубликаты, то все они будут храниться в ChainMap. А при изменении значения по ключу, будет изменяться только первый найденный элемент. Кроме того, как и в случае с распаковкой, есть проблемы совместимости с подклассами dict.
  
  

  >>> from  collections import ChainMap
  >>> dict_1 = { 'key_1': 1, 'key_2': 2 }
  >>> dict_2 = { 'key_1': 10, 'key_3': 3 } 
  
  >>> chain = ChainMap(dict_1, dict_2)
  >>> chain
  ChainMap({'key_1': 1, 'key_2': 2}, {'key_1': 10, 'key_3': 3})
  
  >>> chain['key_1'] = 999 # Изменяется только первый найденный элемент
  ChainMap({'key_1': 999, 'key_2': 2}, {'key_1': 10, 'key_3': 3})
  

  
  
• Использование конструкции dict(dict_1, **dict_2)
  
  Также не очень распространенный метод. К тому же, в этом случае требуется чтобы dict_2 был только со строковыми ключами.
  
  

  >>> dict_1 = {'key_1': 1}
  >>> dict_2 = {2: 2}
  >>> dict(dict_1, **dict_2)
  TypeError: keywords must be strings
  

  
  

>>> dict_1 = {'key_1': 1, 'key_2': 2}
>>> dict_2 = {'key_1': 99, 'key_3': 3}
>>> dict_1 | dict_2
{'key_1': 99, 'key_2': 2, 'key_3': 3}
>>> dict_2 | dict_1
{'key_2': 2, 'key_1': 1, 'key_3': 3}

>>> dict_1 |= dict_2
>>> dict_1
{'key_1': 99, 'key_2': 2, 'key_3': 3}

Новые методы строк для удаления префиксов и суффиксов

>>> text = 'test_name'
>>> text.removeprefix('test_')
'name'

>>> text = 'name_test'
>>> text.removesuffix('_test')
'name'

Упрощается аннотирование типов (type hinting)

from typing import Dict, List
def func(arg: Dict[str, List[str]]) -> int:
    pass

from __future__ import annotations
def func(arg: dict[str, list[str]]) -> int:
    pass

tuple
list
dict
set
frozenset
type
collections.deque
collections.defaultdict
collections.OrderedDict
collections.Counter
collections.ChainMap
collections.abc.Awaitable
collections.abc.Coroutine
collections.abc.AsyncIterable
collections.abc.AsyncIterator
collections.abc.AsyncGenerator
collections.abc.Iterable
collections.abc.Iterator
collections.abc.Generator
collections.abc.Reversible
collections.abc.Container
collections.abc.Collection
collections.abc.Callable
collections.abc.Set # typing.AbstractSet
collections.abc.MutableSet
collections.abc.Mapping
collections.abc.MutableMapping
collections.abc.Sequence
collections.abc.MutableSequence
collections.abc.ByteString
collections.abc.MappingView
collections.abc.KeysView
collections.abc.ItemsView
collections.abc.ValuesView
contextlib.AbstractContextManager # вместо typing.ContextManager
contextlib.AbstractAsyncContextManager # вместо typing.AsyncContextManager
re.Pattern # вместо typing.Pattern, typing.re.Pattern
re.Match # вместо typing.Match, typing.re.Match

Гибкие аннотации функций и переменных

my_type = Annotated[int, ValueRange(-100, 100)]

А так же...