通用型別

該 typing.TypeVar 是一個通用型的工廠。它的主要目標是作為泛型函式/類/方法註釋的引數/佔位符：

import typing

T = typing.TypeVar("T")

def get_first_element(l: typing.Sequence[T]) -> T:
    """Gets the first element of a sequence."""
    return l[0]