Как правильно объявить тип данных list(dict(k1: str, k2: int))?

#!/usr/local/bin/python3.9
# -*- coding: UTF-8 -*-


from typing import (
    NewType,
    List,
    TypedDict,
)

class Point2D(TypedDict):
    x: str
    y: int
    label: str


def aaa(x: List[Point2D]):
    print("zzzz")
    print(x)

zzz = {'x': 1, 'y': 2.2, 'label': 'good'}
try:
    aaa(zzz)    
except TypeError as e:
    print(e)

$./test.py ``` {‘x’: 1, ‘y’: 2.2, ‘label’: ‘good’}

Не получается

В свежачке можно ничего не импортировать, а просто юзать квадратные скобки прямо на самих стандартных типах.

С каких пор в питон завезли проверку типов «из коробки»?..

Используй mypy, какую-нибудь IDE или если очень нужны проверки типов(и тормоза) в рантайме, что-то вроде https://pypi.org/project/enforce-typing/

При получении данных из внешних источников надо в любом случае городить какой-нибудь сериализатор.

Типизация здесь интерпетируется как «совет», по факту носит рекомендаельный характер.

Ты ломишься в открытую дверь. Перестань напрягаться по поводу типов и познай прелести data-oriented programming.

Ух годно. А свежачек, это который?

Падажжи, а с чего ты взял, что def aaa будет проверять тип передаваемого аргумента?

Аннотация типов нужна только для читабельности и метапрограммирования. Хочешь проверку типов по аннтотациям - юзай ide, которые пытаются выводить тип переменных в коде, или mypy, который производит некий аналог проверки типов на этапе компиляции. Если же тебе прям в рантайме непременно надо типы проверять/приводить, то тебе в pydantic

В 3.9 точно есть, в 3.8, вроде ещё не было, но я и не пробовал.

Только Pydantic скорее приводит типы, чем их проверяет. Кидает исключение, только если приведение не прокатывает.

Интересно, а почему этого нельзя было в не свежачке?

Не следил. Могу только предположить, что сразу не додумались. Вынесение в любом случае было логично, во-первых тупо по аналогии с модулем types, во-вторых там куча всяких типов (сиквенс, юнион, генератор и прочее), которые иначе бы не было возможности обозначить, и куча типов, собранных со всей стандартной библиотеки, которую в противном случае пришлось бы глобально перелопатить.