Python的新类型提示功能使我们可以对函数返回None进行类型提示...
def some_func() -> None:
pass
......或者保留返回类型未指定，根据PEP的规定，这应该导致静态分析器假定可能有任何返回类型：
没有注释的任何函数都应该被视为具有最通用的可能类型
然而，如何提示我一个函数永远不会返回？例如，如何正确地提示这两个函数的返回值类型？
def loop_forever():
while True:
print('This function never returns because it loops forever')
def always_explode():
raise Exception('This function never returns because it always raises')
在这些情况下，既不指定-> None，也不保留返回类型未指定似乎都不正确。
虽然问题和答案中都提到了“PEP 484 — Type Hints”标准，但是没有引用其章节：NoReturn类型正是解决你的问题的。
引用：
typing模块提供了一种特殊的类型NoReturn来注释那些永远不会正常返回的函数。例如，一个无条件抛出异常的函数：
from typing import NoReturn
def stop() -> NoReturn:
raise RuntimeError('no way')
typing.Never来为不返回值的函数进行类型标注。from typing import Never
def always_explode() -> Never:
raise
这个替代了 typing.NoReturn
...以使意图更加明确。
我猜想在某个时候，他们会弃用 NoReturn 在那个语境下，因为它们都在3.11中有效。
NoReturn文档中说：“特殊类型，表示函数永远不会返回...... NoReturn也可以用作底部类型，即没有值的类型。从Python 3.11开始，应该使用Never来表示这个概念。”- 强调是我的。文档将函数不返回和“底部类型”视为不同的“概念”，并表示您应该使用Never来表达底部类型的概念，但使用NoReturn来表达函数永远不会返回的概念。我认为不会有弃用的情况！ - Mark AmeryNever，它明确表示“可以用来定义永远不会被调用或永远不会返回的函数”。 - joelNoReturn；请参见新的被接受的答案）。以下是一些原因：
当一个函数不返回时，没有返回值（甚至没有None）可以分配给类型。所以你实际上并不是在尝试注释一个类型；你正在尝试注释没有类型的缺失。
类型提示PEP刚被采用为标准，截至Python 3.5版本。此外，PEP只建议关于类型注释应该看起来像什么，同时故意模糊了如何使用它们。所以除了示例之外，没有标准告诉我们如何做任何特定的事情。
PEP有一部分可接受的类型提示，其中写道：
注释必须是有效的表达式，在定义函数时不会引发异常（但下面讨论前向引用）。
注释应该保持简单，否则静态分析工具可能无法解释这些值。例如，动态计算的类型不太可能被理解。（这是一个故意有些模糊的要求，特定的包含和排除可能会在未来版本的PEP中根据讨论被添加。）
所以它试图阻止您做过于创造性的事情，比如在返回类型提示中抛出异常以表示函数永远不会返回。
关于异常，PEP写道：：
没有提议列出明确引发的异常的语法。目前这个特性唯一已知的用例是文档化，在这种情况下，建议将此信息放在docstring中。
有一个类型注释的建议，在其中你有更多的自由，但即使在那个部分中也没有讨论如何记录缺少类型。
Callable[[ArgTypes...] ReturnType]，因此您可以省略返回类型，如 Callable[[ArgTypes...]]。但是，这不符合推荐的语法，所以严格来说它不是可接受的类型提示。类型检查器可能会出现错误。Allow omitting the return type in a Callable hint and allow the type of anything to be forward hinted. This would result in the following syntax:
always_explode: Callable[[]]
def always_explode():
raise Exception('This function never returns because it always raises')
Introduce a bottom type like in Haskell:
def always_explode() -> ⊥:
raise Exception('This function never returns because it always raises')
typing中的NoReturn類型，但在運行時沒有真正的問題。 - kuza