upvote
In python there's:

    VectorAlias = list[float]
    MyVectorType = typing.NewType("Vector", list[float])
The former is syntactic sugar. I was thinking of the latter, which will cause type check errors if you try to assign one list of floats to the other and they have different declared types.
reply