cm0002@literature.cafe to Linux@programming.dev · 2 months 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 · 2 months agomessage-square22fedilink
minus-squaresomeacnt@sh.itjust.workslinkfedilinkEnglisharrow-up1·1 month agoHaskell types are not strong enough for that, maybe Lean or Coq would get there.
Haskell types are not strong enough for that, maybe Lean or Coq would get there.