PEP 695: Type Parameter Syntax

[Jelle (Jelle Zijlstra)]

@gwerbin

I suppose it’s too late to vote for a keyword like deftype or typedef instead of type. I see some discussion about the type soft keyword, but no serious discussion of alternatives to it.

Yes, it’s too late.

@gwerbin

I also didn’t see any response to PEP 695: Type Parameter Syntax - #70 by davidism which asks about conflicting with slice syntax. What became of that?

It doesn’t conflict in the grammar, because PEP 695 syntax doesn’t appear in places where you could use a slice. I can’t say if some people might find it confusing, but something like this:

def f[T: int](x: list[T]) -> list[T]:
    return x[:1:2]

the two uses of : within square brackets are visually quite different.