Hacker News new | ask | show | jobs
by LelouBil 70 days ago
It's that Rust has more rules that allo you to use it's type system to constrain your logic.

Things like borrowing and ownership, having an affine type system, the GADTs, it's more tools in your toolbox to constrain your problem space.