Hacker News new | ask | show | jobs
by jarrettc 3962 days ago
Will the Rust compiler ever understand numbers in types? I.e. will the numbers ever be more than just part of the string that is the type name? If not, then I don't know how possible powers will be. Maybe the solution would be to define some types for commonly-used powers, e.g. PowN4, PowN3, PowN2, PowN1, Pow2, Pow3, Pow4. Users who needed higher powers could define those types themselves, I guess.
1 comments

We do desire type-level integers, yes. There hasn't been an RFC yet, though.