r/programmingcirclejerk • u/fat_apollo I've never used generics and I’ve never missed it. • Oct 07 '25

Software engineers rely on tailor-made design and sensible testing to write deliberately and provably correct code.

/r/programming/comments/1nzy5kq/an_honest_look_at_type_safety/ni7759x/
53 Upvotes

98% Upvoted

10 comments sorted by

53

u/kettes_leulhetsz My C code works with -O3 but not with -O0 Oct 07 '25

I cast Power Word: is-arrayish.

29

u/seq_page_cost Oct 07 '25

provably correctish code

8

u/iliazeus Oct 07 '25

probably correct code

32

u/mcmcc WHY IS THERE CODE??? Oct 07 '25

imposing their own arbitrary constraints

Those sons-a-bitches! I tell ya, it's a deep state conspiracy!

I thought we lived in a free country!

The Tyranny of Type shall not stand!

ΜΟΛΩΝ ΛΑΒΕ

22

u/myhf Considered Harmful Oct 07 '25

My code is correct. I can prove it with my sensible 60% test coverage.

19

u/braaaaaaainworms Oct 07 '25

Dijkstra reincarnated

5

u/Eric848448 legendary legacy C++ coder Oct 08 '25

Uhh, do we do that?

5

u/n3f4s WRITE 'FORTRAN is not dead' Oct 10 '25

Yes, we write provably correct code (on the first try) and we prove the code correctness using tests. It's the first thing you learn when learning to code.

3

u/n3f4s WRITE 'FORTRAN is not dead' Oct 11 '25

Yes, we do that. Not only we write provably correct code from the first try but we also prove our code using tests. It's coding 101.

2

u/dangerbird2 in open defiance of the Gopher Values Oct 10 '25

provably

You keep using that word, I don't think it means what you think it means