Làm thế nào các loại giống hệt nhau có thể không tương thích trong MyPy?

Với ví dụ sau:

from typing import Callable, Generic, Type, TypeVar

ThetaType = TypeVar('ThetaType', bound=int)
XType = TypeVar('XType', bound=int)


class IteratedFunction(Generic[ThetaType, XType]):

    def find_fixed_point(self,
                         theta: ThetaType,
                         x_init: XType) -> XType:
        return x_init


def combinator(
    iterated_function_cls: Type[
        IteratedFunction[ThetaType, XType]]) -> Callable[
            [IteratedFunction[ThetaType, XType]], XType]:
    old_find_fixed_point = iterated_function_cls.find_fixed_point

    def new_find_fixed_point(
            iterated_function: IteratedFunction[ThetaType, XType],
            theta: ThetaType,
            x_init: XType) -> XType:
        return old_find_fixed_point(iterated_function, theta, x_init)

    return new_find_fixed_point

MyPy nói:

a.py:25: error: Incompatible return value type (got "XType", expected "XType")
a.py:25: error: Argument 1 has incompatible type "IteratedFunction[ThetaType, XType]"; expected "IteratedFunction[ThetaType, XType]"
a.py:25: error: Argument 2 has incompatible type "ThetaType"; expected "ThetaType"
a.py:25: error: Argument 3 has incompatible type "XType"; expected "XType"
a.py:27: error: Incompatible return value type (got "Callable[[IteratedFunction[ThetaType, XType], ThetaType, XType], XType]", expected "Callable[[IteratedFunction[ThetaType, XType]], XType]")

Tôi không chắc chắn tôi đồng ý với tiền đề của câu hỏi này.

Đây là một phần của chuỗi từ 3,8

class TypeVar(_Final, _Immutable, _root=True):
    """Type variable.
    Usage::
      T = TypeVar('T')  # Can be anything
      A = TypeVar('A', str, bytes)  # Must be str or bytes

    ....
    def __init__(self, name, *constraints, bound=None,
                 covariant=False, contravariant=False):
    ....

Bây giờ, nếu bạn đã có

ThetaType = TypeVar('ThetaType')
XType = TypeVar('XType')

bạn có thể tranh luận rằng việc sử dụng ThetaType nên được coi là sử dụng của XType, mặc dù 2 kiểu chữ khác nhau đã được thiết lập? Tại sao việc thêm boundđối số tùy chọn sẽ tự động thu gọn chúng lại với nhau? Nguồn không thực thi sự hiện diện của ràng buộc, hoặc bất kỳ đối số nào bên cạnh tên, theo bất kỳ cách nào.

Tôi không nghĩ rằng đó là công việc đánh máy / mypy để suy ra ý định của bạn trong khai báo kiểu , chỉ để kiểm tra mã của bạn so với ý định loại khai báo của bạn . Nếu bạn có nghĩa là chúng giống nhau thì chỉ khai báo 1 TypeVar. Xem xét chúng giống nhau có thể mất một số ý nghĩa ngữ nghĩa nếu bạn có lý do thực tế để có 2.

Tôi sẽ thêm vào đó boundcho phép linh hoạt hơn so với constraintskhi nó phù hợp với các lớp con. Giả sử bạn đã xác định 4 lớp con của int. Int1 (int), Int2, Int3, Int4 .... Bây giờ bạn đã quyết định phân vùng mã của mình trong đó một số mã chỉ nên chấp nhận Int1 và Int2. Typevarint12 có thể phần nào thể hiện điều đó, mặc dù tất cả các lớp con của bạn đều khớp bound=int.