2 ms·
Sadly I'm not sure Rust will ever get those sorts of features.
by satvikpendem 9mo ago
Sadly I'm not sure Rust will ever get those sorts of features.
- hmry 9mo agoThey've gone the Haskell route of adding a billion features to a non-dependent type system instead. Not that I blame them, nobody has figured out practical dependent typing yet. (Idris is making good progress in the field though)