Non-empty container types

Feature

It would be very helpful to have a way of specifying that a container type must be non-empty.

Pitch

As an example of why this feature would be helpful, consider the following function, average:

from typing import List


def average(numbers: List[float]) -> float:
    """Return the average of a non-empty list of numbers."""
    return sum(numbers) / len(numbers)

Rather than relying on exceptions for handling the case when the number of numbers is zero, is seems like something along the lines of the following would be more convenient and more explicit:

from typing import List, NonEmpty


def average(numbers: NonEmpty[List[float]]) -> float:
    """Return the average of a non-empty list of numbers."""
    return sum(numbers) / len(numbers)

I don't know anything about the way mypy is implemented so I'm not sure if this is a possible.

Issue đề xuất một kiểu NonEmpty cho các chú thích container của Python, được minh họa bằng NonEmpty[List[float]] và hàm average. Hãy bắt đầu bằng việc xem xét hỗ trợ hiện có của mypy cho hệ thống kiểu và các cấu trúc typing; issue không nêu tên tệp hoặc bài kiểm thử nào. Để hoàn thành sẽ cần một thiết kế được thống nhất và việc kiểm tra kiểu bảo toàn bất biến container không rỗng.