cm0002@literature.cafe to Linux@programming.dev · 1 month agoBugs Rust Won't Catch | corrode Rust Consulting - Analysis of Rust Coreutils (uutils) Bugscorrode.devexternal-linkmessage-square22fedilinkarrow-up148
arrow-up148external-linkBugs Rust Won't Catch | corrode Rust Consulting - Analysis of Rust Coreutils (uutils) Bugscorrode.devcm0002@literature.cafe to Linux@programming.dev · 1 month agomessage-square22fedilink
minus-squareDigit@lemmy.wtflinkfedilinkEnglisharrow-up2·1 month agoTime for Haskell? How many more bugs would Haskell catch? “Entire classes of bugs”?
minus-squaresomeacnt@sh.itjust.workslinkfedilinkEnglisharrow-up1·1 month 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”?
More than C would.
Haskell types are not strong enough for that, maybe Lean or Coq would get there.