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-square15linkfedilinkarrow-up144arrow-down12
arrow-up142arrow-down1external-linkBugs Rust Won't Catch | corrode Rust Consulting - Analysis of Rust Coreutils (uutils) Bugscorrode.devcm0002@literature.cafe to Linux@programming.dev · 1 month agomessage-square15linkfedilink
minus-squaresomeacnt@sh.itjust.workslinkfedilinkEnglisharrow-up1·29 days 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.