>> Это динамический язык, Карл!
> И таки шо, Фридрих, динамическому языку нельзя проверять типы?

Зачем это делать в рантайме?

> Давайте ещё isinstance(), type() и прочие, в т.ч. подкапотные проверки из него
> выкинем, чтоб ловчее себе в ногу стрелять.

Зачем?  Они не подкапотные - а как раз у всех на виду.  Смотришь код
и видишь где они.  Не хочешь - не делаешь.

> И некоторая проверка типов (вроде "нельзя складывать строку с
> целым") там уже производится.

Сильно сомневаюсь.

$ cat a.py
a = 1
b = "x"
a + b
$ python3 -q
>>> import py_compile; py_compile.compile('a.py')

'__pycache__/a.cpython-310.pyc'
>>>
> Вот была б у интертрепатора опция "строгая проверка типов по аннотациям"...
> Без неё - поведение "как раньше", с ней - чтоб лаялось, как бешеное.

Может когда-нибудь и будет, только точно не по-умолчанию.

> А то иногда слегка так раздражают в рантайме внезапные грабли, которые могли
> быть отловлены ещё на стадии разбора скрипта интертрепатором.

Для этого есть хорошие текстовые редакторы, умеющие взаимодействовать с mypy.  Emacs, например.