Comment by satvikpendem 4 days ago Sadly I'm not sure Rust will ever get those sorts of features. 1 comment satvikpendem Reply hmry 4 days ago They'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)
hmry 4 days ago They'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)
They'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)