News for hackers. Stuff that matters.

A comment on Parse, Don't Validate and Type-Driven Design in Rust. Parent comment

Re:Parse, Don't Validate and Type-Driven Design in Rust by satvikpendem on Sunday February 22, 2026 @01:24PM (#47113368)
Sadly I'm not sure Rust will ever get those sorts of features.
[ Parent | on HN ]
Re:Parse, Don't Validate and Type-Driven Design in Rust by hmry on Sunday February 22, 2026 @01:31PM (#47113421)
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)

[ Parent | on HN ]