4 ms·
There is a Rust RFC for extending Rust's const generics to dependent types. Part 0 (the minimal const generics) might be stabilized in the near future. Parts 1
by fluffything 6y ago
There is a Rust RFC for extending Rust's const generics to dependent types.
Part 0 (the minimal const generics) might be stabilized in the near future. Parts 1-3 would hopefully be explored next. Fully dependent types are introduced in part 3: https://github.com/ticki/rfcs/blob/pi-types-ext-2/text/0000-fully-dependent-pi-types.md https://github.com/ticki/rfcs/blob/pi-types-ext-2/text/0000-...
- steveklabnik 6y agoThese RFCs were closed https://github.com/rust-lang/rfcs/issues/1930 https://github.com/rust-lang/rfcs/issues/1930 In favor of https://github.com/rust-lang/rfcs/pull/2000 https://github.com/rust-lang/rfcs/pull/2000 No other designs have been accepted to extend this yet. We're still implementing what was already accepted!
- deleted 6y ago[deleted]
- fluffything 6y ago> These RFCs were closed Can be reopened after minimal const generics implementation is finished (like the post discussing closure suggests) which it almost is. > In favor of https://github.com/rust-lang/rfcs/pull/2000 https://github.com/rust-lang/rfcs/pull/2000 That's the minimal const generics RFC. > No other designs have been accepted to extend this yet. A design does not need to be accepted for exploration about such a design to start.
- steveklabnik 6y agoI don't think that we're really at odds here, I think I'm just more conservative when representing the status of the feature than you are. It's already taken over three years for the minimal version of the feature, and the author of the PI types trilogy RFCs has quit open source entirely. I just don't want to give the impression that this is happening any time soon.