DEV Community


Discussion on: Simple dependent types in Python

madhadron profile image
Fred Ross

That's a useful subset of dependent typing! Any idea when we might get type variables and sequence support so we can write things like

def tail(xs: List[Any, n : Range[1,Infinity]]) -> List[Any, n-1 : Range[0, Infinity]]:
sobolevn profile image
Nikita Sobolev Author

I am not sure. What I know is that you can subscribe to this issue to track the development process.

It is discussed at the moment.