47
Bugs Rust Won't Catch | corrode Rust Consulting - Analysis of Rust Coreutils (uutils) Bugs (corrode.dev)
submitted 3 months ago by cm0002@literature.cafe to c/linux@programming.dev
22 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 points 3 months ago

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

this post was submitted on 29 Apr 2026
47 points (100.0% liked)

Linux

14563 readers
682 users here now

A community for everything relating to the GNU/Linux operating system (except the memes!)

Also, check out:

Original icon base courtesy of lewing@isc.tamu.edu and The GIMP

founded 3 years ago
MODERATORS
Ategon@programming.dev
anzo@programming.dev
dwraf_of_ignorance@programming.dev