2 ms·
Relevant reading: https://soasis.org/posts/a-mirror-for-rust-a-plan-for-generic-compile-time-introspection-in-rust/#variadics-do-not-exist-in-rust https://soasi
by Permik 3y ago
Relevant reading: https://soasis.org/posts/a-mirror-for-rust-a-plan-for-generic-compile-time-introspection-in-rust/#variadics-do-not-exist-in-rust https://soasis.org/posts/a-mirror-for-rust-a-plan-for-generi...
All of this would've come for "free" (lets and lots of developer hours) if introspection is further developed. It's truly a tragedy that things went down how they did.
- Georgelemental 3y agoVariadics are a prerequisite for this sort of introspection, not an alternative. The design you linked uses an ad-hoc keyword to hack around their lack.
- Permik 3y agoI agree, but I think there's a possibility of keeping the variadicity only as introspection "compiler magic" and coming up with a higher level implementation of variadics for the general language that drops naturally out of introspection. My hope is that eventually variadicity will just be "only library code" that you can just inspect how it is implemented via introspection.