submitted 4 days ago by cm0002@literature.cafe to c/linux@programming.dev

21 comments fedilink hide all child comments

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

[-] Digit@lemmy.wtf 2 points 3 days ago

Time for Haskell?

How many more bugs would Haskell catch?

"Entire classes of bugs"?

[-] someacnt@sh.itjust.works 1 points 1 day ago

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

[-] TehPers@beehaw.org 2 points 3 days ago

More than C would.

this post was submitted on 29 Apr 2026

47 points (96.1% liked)

Linux

13501 readers

408 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 2 years ago

MODERATORS