typing

https://www.cnblogs.com/poloyy/p/15170297.html

Optional

Optional[int] 等价于 Union[int, None]
意味着：既可以传指定的类型 int，也可以传 None

Literal

一种类型，可用于向类型检查器指示相应的变量或函数参数具有与提供的文字(或多个文字之一)等效的值。例如：

def validate_simple(data: Any) -> Literal[True]:  # always returns True
    ...

MODE = Literal['r', 'rb', 'w', 'wb']
def open_helper(file: str, mode: MODE) -> str:
    ...

open_helper('/some/path', 'r')  # Passes type check
open_helper('/other/path', 'typo')  # Error in type checker

Literal[...]不能被子类化。在运行时，允许将任意值作为类型参数Literal[...]，但类型检查器可能会施加限制。看PEP 586有关文字类型的更多详细信息。