▲ 47 ▼ Bugs Rust Won't Catch | corrode Rust Consulting - Analysis of Rust Coreutils (uutils) Bugs (corrode.dev) submitted 4 months ago by cm0002@literature.cafe to c/linux@programming.dev 22 comments fedilink hide all child comments
[–] Digit@lemmy.wtf 2 points 4 months ago (2 children) Time for Haskell? How many more bugs would Haskell catch? "Entire classes of bugs"? permalink fedilink source hideshow 4 child comments replies: [–] TehPers@beehaw.org 2 points 4 months ago More than C would. permalink fedilink source parent [–] someacnt@sh.itjust.works 1 point 3 months ago Haskell types are not strong enough for that, maybe Lean or Coq would get there. permalink fedilink source parent
[–] someacnt@sh.itjust.works 1 point 3 months ago Haskell types are not strong enough for that, maybe Lean or Coq would get there. permalink fedilink source parent