someacnt comments on Bugs Rust Won't Catch | corrode Rust Consulting - Analysis of Rust Coreutils (uutils) Bugs

Bugs Rust Won't Catch | corrode Rust Consulting - Analysis of Rust Coreutils (uutils) Bugs (corrode.dev)

submitted 6 months ago by cm0002@literature.cafe to c/linux@programming.dev

19 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] someacnt@sh.itjust.works 1 point 6 months ago

Haskell types are not strong enough for that, maybe Lean or Coq would get there.

parent