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]]: ...
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.
Are you sure you want to hide this comment? It will become hidden in your post, but will still be visible via the comment's permalink.
Hide child comments as well
Confirm
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
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
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.