top | item 47113368 (no title) satvikpendem | 7 days ago Sadly I'm not sure Rust will ever get those sorts of features. discuss order hn newest hmry|7 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|7 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|7 days ago
Not that I blame them, nobody has figured out practical dependent typing yet. (Idris is making good progress in the field though)