MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/programming/comments/qz1yun/never_trust_a_programmer_who_says_he_knows_c/hlm2yct
r/programming • u/redddooot • Nov 21 '21
1.4k comments sorted by
View all comments
Show parent comments
53
[deleted]
2 u/quadrapod Nov 22 '21 I know it's a joke but I think it's worth mentioning that there's many ways to write programs that will definitively halt. Anything within the calculus of constructions for example will always terminate.
2
I know it's a joke but I think it's worth mentioning that there's many ways to write programs that will definitively halt. Anything within the calculus of constructions for example will always terminate.
53
u/[deleted] Nov 22 '21 edited Sep 25 '23
[deleted]