mypy:使用更高(个人)类型

我最近发现了mypy,我想用它来检查我的代码。

我有一个 Something 基类:

class Something():
    ... something...

我有几个子类,它们都是 一些东西 ,但类型不同:

class Thing(Something)
    def __init__():
        short_name = "S"


class OtherThing(Something)
    def __init__():
        short_name = "T"

当我使用这些对象时,我通常会将它们放入一个列表中:

s1 = Thing()
s2 = OtherThing()
list_things: List[Something] = list()
list_things.append(s1)
list_things.append(s2)

但显然我做不到,Mypy不承认事物和其他事物是“低级类型”的东西。

我该怎么纠正?