Python 3.9, Python 3

Оглавление

Сейчас в бета версии находится (3.9.0b3), а в будущем мы увидим полноценный релиз Python 3.9. Несколько нововведений просто невероятно классные, и будет потрясно увидить их в полноценном релизе.

Мы разберем следующие моменты:

• Оператор объединения словарей
• Типизация
• Два новых метода для строк
• Новый синтаксический анализатор

Давайте посмотрим на эти новшества и как их можно применять.

Объединение словарей

Одна из моих самых любимых особенностей с хорошим синтаксисом. Например, если у нас есть 2 словаря a и b которые нужно объединить, то теперь можно воспользоваться специальным оператором.

a = {1: 'a', 2: 'b', 3: 'c'}
b = {4: 'd', 5: 'e'}
 
c = a | b
print(c) # {1: 'a', 2: 'b', 3: 'c', 4: 'd', 5: 'e'}

А также оператор обновления |= , что-бы обновлять существующий словарь:

a = {1: 'a', 2: 'b', 3: 'c'}
b = {4: 'd', 5: 'e'}
 
a |= b
 
print(a) # {1: 'a', 2: 'b', 3: 'c', 4: 'd', 5: 'e'}

Если в двух разных словарях есть одинаковый ключ, то используйте | :

a = {1: 'a', 2: 'b', 3: 'c', 6: 'одинаковые ключи'}
b = {4: 'd', 5: 'e', 6: 'но разные значения'}
 
print(a | b) # {1: 'a', 2: 'b', 3: 'c', 6: 'но разные значения', 4: 'd', 5: 'e'}

Обновление словарей с генераторами

Другая интересная штука с оператором |= это возможность обновления словарей с генераторами у которых есть пара ключ-значение :

a = {'a': 'one', 'b': 'two'}
b = ((i, i**2) for i in range(3))
 
a |= b
 
print(a) # {'a': 'one', 'b': 'two', 0: 0, 1: 1, 2: 4}

При попытке провернуть такое действие с оператором | мы получим ошибку TypeError, так как оператор допускает только объединение с объектами типа dict

Типизация

Python - это динамически типизированый язык, то есть нам не обязательно указывать тип переменной. Такое поведение нормально, хотя иногда это может сбивать с толку. И вот внезапно питоновская гибкость превращается в ничто другое как в неудобство.

С версии 3.5 мы можем указывать типы переменным, но такой подход был несколько громоздким. Обновление же все меняет, взгляните на пример:

Без типизации(слева) с типизацией 3.9 (справа)

В функции add_int мы явно хотим складывать числа друг с другом (по какой-то загадочной и необъяснительной причине). Но наш редактор этого не знает, и это вполне нормально что-бы сложить две строчки с помощью оператора + — поэтому никаких замечаний от интерпретатора мы не видим.

А теперь мы можем указать тип int , который хотим ожидать в входе в функцию. И теперь интерпретатор будет немедленно сообщать об ошибке.

Еще мы можем указывать вложенные типы например:

Типизацию можно использовать везде — и все благодаря новому синтаксису, теперь он выглядит гораздо красивей.

Два новых метода для строк

Не настолько важное как другие вышеупомянутые нововведения, но все равно полезное в определенных ситуациях. Два новых строковых метода для удаления префикса и суффикса:

"Hello world".removeprefix("He") # "llo world"
 
"Hello world".removesuffix("ld") # "Hello wor"

Новый синтаксический анализатор

Хоть это изменение нельзя никак просмотреть, но оно вполне может стать впоследствии одним из самых значительных для будущего развития Python'а

Python в данный момент использует преимущественно синтаксический анализатор LL(1), который считывает код сверху вниз и слева направо.

Сейчас я фактически не понимаю о том, как это работает - но я могу дать вам список нескольких проблем возникающим с этим методом:

• Python содержит в себе не только синтаксический анализатор LL(1), по этой причине некоторые анализаторы работают в обход существующей системе, создавая определенные сложности.

• LL(1) создает ограничение для синтаксиса Python'а (без возможности их обхода). Эта проблема подчеркивает, что следующий код не может быть выполнен с помощью
  текующего синтаксического анализатора (вызывается SyntaxError):

with (open("a_really_long_foo") as foo,
      open("a_really_long_bar") as bar):
    pass

• LL(1) ломает лево-рекурсивный анализатор. Значит определенный рекуривный синтаксис может спровоцировать бесконечный цикл с древовидной структурой. Гвидо ван Россум, создатель Python'а, объясняет это здесь

Все эти факторы (а также те, которые я просто не способен описать) имеет передовое влияние на Python; они стопорят развитие языка.

Новый синтаксический аналазитор, основанный на технологии PEG , даст разработчикам больше гибкости для написания кода — что-то, что мы начнем замечать с версии 3.10 и выше.

Заключение

Это все что мы можем ожидать от новой версии 3.9. Если вы уже не терпите опробовать новый бета релиз — 3.9.0b3 — то можете установить его здесь