Почему аннотации типа оцениваются на уровне модуля, но не в рамках функций? [дублировать] ⇐ Python

[Anonymous]

Когда "typeError: не может создать экземпляры печати.*" Тем не менее, мне любопытно, почему Python демонстрирует следующее поведение: < /p>
from typing import Final

def f():
h : Final[int] = 10 # Accepted
i : Final(int) = 15 # Accepted

f() # Ran successfully
j : Final[int] = 1 # Accepted
k : Final(int) = 2 # ERROR
< /code>
Traceback (most recent call last):
File "", line 1, in
File "/usr/lib/python3.9/typing.py", line 335, in __call__
raise TypeError(f"Cannot instantiate {self!r}")
TypeError: Cannot instantiate typing.Final
< /code>
Why is it either-or inside function definitions, but not the main block?

Подробнее здесь: https://stackoverflow.com/questions/795 ... -functions