Never, that's when. You couldn't prove a Hello World in such vague, shitty languages. Why do we tolerate C (and what people call C even though it's not C++, just because it doesn't use classes) to program critical systems again?
Name:
Anonymous2015-03-02 1:20
sicp and knr shits all over your nigger huskel
>muh abstractions over 1s and 0s since im so shitty at arithmetic >le huskel face
>not using forth
Name:
Anonymous2015-03-02 1:30
For what reason would you need to prove a language? Hell, what do you even mean by proving?
C is the purest, unadulterated form of Blub. C causes deep, uncurable Stockholm syndrome. C is free as in freedom to destroy everything in a few keystrokes.
>>9 At least you are an illiterate math-uneducated retard who thinks that programming is about ones and zeroes and von Neumann.
Name:
Anonymous2015-03-03 20:56
Margit, there is a sequence point at the end of “r=0;”. See Annex C of the C99 standard which says there is a sequence point following a full expression, including an expression statement, which is what this is.
But we are not talking about C99!
Margit
Hi Margit, I’m losing interest in this thread.
Name:
Anonymous2015-03-03 21:40
>>9 Oh shit, a real world example where talking of UB is more than just handwaving. You have to give some credit to the CompCert folks. It is a move in the right direction., albeit a clunky move.
Name:
dubsmon2015-03-03 22:35
gotta check em' all
Name:
Anonymous2015-03-03 23:55
Well what should we use instead? Java? .NET? I want to use something that's actually popular so other people may help me with the project, and fuck FIOC.
Name:
Anonymous2015-03-04 6:14
Well what should we use instead? Hookers? Onaholes? I want to use something that's actually female so other people wont think I'm gay, and fuck femboys.
But seriously, if you want to eliminate UB there are a lot of things to pick from. JVM and CLR ecosystems are popular. F# is really nice, JVM probably has something.
>>25 My fucking god, would it kill you to add a trigger warning? I was scrolling down quickly and I thought that was a fucking UML state diagram or whatever the fuck it's called for a second there and had a bad flashback. Just shoot me in the fucking head why don't you.