概述

typing 概述

python的类型注解系统目前仍旧属于注释型的，在运行时并不会做相关的检查 - 有LPython编译器实现了静态类型版本的python。

这是python向静态类型语言做的一步努力，根本目的还是为了提升python的运行速度。

Python始终是一种动态类型语言（typing hint PEP (opens new window) 重申了这一点：“Python 将仍然是一种动态类型语言，作者无意强制类型提示，即使按照惯例也是如此”）。

该语言从动态类型提供的灵活性中受益匪浅。然而，静态类型检查对于较大的代码库来说是无价的，因为它可以在大量问题发生之前拦截它们。使用 Protocol 类，可以将静态类型检查的优势赋予现有 Python 代码的动态特性。

‍

    def run(
        self,
        app: Optional[str | Type["Application"]] = None,
        host: str = "127.0.0.1",
        port: int = 5200,
        debug: bool = False,
        use_reloader: bool = True,
        ssl_ca_certs: Optional[str] = None,
        ssl_certfile: Optional[str] = None,
        ssl_keyfile: Optional[str] = None,
        log_config: Optional[Union[Dict[str, Any], str]] = LOGGING_CONFIG,
        **kwargs: Any
    ):

‍