cm0002@literature.cafe to Linux@programming.dev · 5 days agoBugs Rust Won't Catch | corrode Rust Consulting - Analysis of Rust Coreutils (uutils) Bugscorrode.devexternal-linkmessage-square21fedilinkarrow-up149arrow-down12
arrow-up147arrow-down1external-linkBugs Rust Won't Catch | corrode Rust Consulting - Analysis of Rust Coreutils (uutils) Bugscorrode.devcm0002@literature.cafe to Linux@programming.dev · 5 days agomessage-square21fedilink
minus-squareDigit@lemmy.wtflinkfedilinkEnglisharrow-up2·5 days agoTime for Haskell? How many more bugs would Haskell catch? “Entire classes of bugs”?
minus-squaresomeacnt@sh.itjust.workslinkfedilinkEnglisharrow-up1·2 days agoHaskell types are not strong enough for that, maybe Lean or Coq would get there.
Time for Haskell?
How many more bugs would Haskell catch?
“Entire classes of bugs”?
Haskell types are not strong enough for that, maybe Lean or Coq would get there.
More than C would.