MyPyで同じ型に互換性がないのはなぜですか？

次の例では：

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さんのコメント：

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]")

この質問の前提に同意するかどうかはわかりません。

これは3.8のdocstringの一部です

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):
    ....

今、あなたがちょうど持っていた場合

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

2つの異なるtypevarが設定されていても、ThetaTypeの使用はXTypeの使用と見なされるべきだと主張しますか？boundオプションの引数を追加すると、自動的に元に戻されますか？ソースは、バウンドの存在、または名前以外の引数を強制しません。

私はそれがであなたの意図を推測するためにタイピング/ mypyの仕事だとは思わない型宣言のみご確認するために、コードをお使いの対宣言された型の意図を。それらが同じであることを意味する場合は、TypeVarを1つだけ宣言してください。それらを同じと見なすと、実際に2の理由がある場合、意味上の意味が失われる可能性があります。

これを追加して、サブクラスで一致するbound場合よりも柔軟性を高めますconstraints。たとえば、intの4つのサブクラスをユーザー定義したとします。Int1（int）、Int2、Int3、Int4 ....これで、一部のコードがInt1とInt2のみを受け入れるようにコードを分割することにしました。Typevarint12は、サブクラスがすべて一致する場合でも、それを多少表現できますbound=int。