Allow `float("inf")` and `float("-inf")` in literals

I have been frequently using positive and negative infinity as default values for values that should otherwise be ints. Because of Python's duck typing this is a convenient pattern that sometimes allows reducing some special-casing logic.

def less_than(value: int, limit: int | None) -> bool:
    if limit is None:
        return True
    return value < limit

vs

def less_than(value: int, limit: int | Literal[float("inf")]) -> bool:
    return value < limit

Would it be feasible to special-case the expressions float("inf") and float("-inf") and make type-checkers regard them as literal values, even though they aren't strictly speaking language-level literals?

For posterity, PEP 586 mentions this with:

Representing Literals of infinity or NaN in a clean way is tricky; real-world APIs are unlikely to vary their behavior based on a float parameter.

So I guess what I'm asking here is: am I an odd duckling or could it be worth considering +/- infinity as legal values in literal types?

Bắt đầu bằng cách đọc phần thảo luận của PEP 586 về các tham số Literal không hợp lệ và 21 bình luận trên issue này. Xác định xem cộng đồng typing đã đi đến quyết định về việc coi float("inf") và float("-inf") là các giá trị literal hay chưa; công việc chỉ được xem là hoàn thành khi có một đặc tả đã được thống nhất và xác định được các thay đổi cần thiết đối với type-checker, nhưng issue này không cung cấp những điều đó.