Re:Monads and GATs in Nightly Rust
by zozbot234 on Saturday December 12, 2020 @09:04AM
(#25398273)
> This has no safety benefit, since generics are resolved at compile time and all safety tests can be made after generic expansion.
Rust has macros and procedural macros for the "check after generic expansion" use case. It's a good thing that this is separate from generics; it side-steps a whole lot of incidental complexity that's seen in C++.
Rust has macros and procedural macros for the "check after generic expansion" use case. It's a good thing that this is separate from generics; it side-steps a whole lot of incidental complexity that's seen in C++.