12 ms·
> Rust is already bumping into important cases where the typesystem is incapable of resolving things that "you might want its typesystem to track", and support
by estebank 4y ago
> Rust is already bumping into important cases where the typesystem is incapable of resolving things that "you might want its typesystem to track", and support for these would require breaking all of rust.
I would be interested in hearing what it is you had in mind. Are you referring to the discussions around capabilities?
- throwawaymaths 4y agoYes, for example. Another dramatic one is the whole parametrized keywords thing, though I guess it doesn't quite "break all of rust".