(((Rust))) just got formally approved. /g/ neckbears just got eternally, permanently, rightfully, irreversibly, forcefully, painfully rectally shattered.
https://people.mpi-sws.org/~dreyer/papers/rustbelt/paper.pdf
Microsoft's Visual C pee pee on suicide watch, Bjarne is finished and bankrupt.
>>61285335
Stay there
>formally approved
Ok, I'm going to start learning c++ this week. Should I move to rust?
>>61285547
C++ is way more beginner friendly. That said avoid both C++ and Rust.
Learn C and D instead
>>61285581
Why? I don't want to be too low level. Im majoring aerospace, not computer science
>>61285594
Both C and C++ are low level. I'm thinking you should be using Ada or Rust because they provide more general safety
>>61285599
>Ada
Thankyou, will check it out
>formally approved
the paper says a subset of the std library is approved
are you retarded
nogenerics.info
nogenerics.info
nogenerics.info
nogenerics.info
>>61285594
C++ is used more, learn that.
If you know programming, the language will not seem important.
C++ can ad a high level of abstraction compared to C, but some times, it is just as low level (or even lower level).
A good example is cout.
It is much more low level than printf when you dig around with it and change the output sources etc. But it can also be very abstract when you cout your class and it just prints the right things.
>>61285647
What?
>>61285651
>>>
>Anonymous 07/09/17(Sun)09:57:30 No.61285647▶>>61285669
>MUH COUHT
>>61285677
Are you having a stroke?
>>61285647
You're thinking of Go.
>>61285669
He's thinking of Go.
>>61285677
Man, you really lost your shit with that post.
>>61285335
Finally. Rust > C.
>>61288086
It's say C > Rust > C++
>>61285677
I think you just broke 4chan.
>>61288136
I'd
>>61285335
Formally approved... You have no idea what you're talking about. That said, there are far better languages for formal verification than rust.
Who cares what language is better. There's no future in any of that shit anymore anyway. Either pajeet will be doing it all or eventually they'll make an AI that can write itself. All programming is is copying and pasting functions classes and libraries here and there.
Now let the butthurt begin....
a language can't be "formally approved". that's not a thing. only pajeets would fall for some stupid shit like that. and only retards use rust.
Rust, for Retards™©®
<3 made with love in San Francisco <3
>>61288338
>formal verification doesn't exist
How is this published in the future?
>>61285335
>>61288436
preprint
>>61288380
in this case that's exactly the case. you stupid nigger.
>>61288454
nope
idiot
>>61288468
not an argument
stupid nigger
>>61288518
neither is yours kek
shitstain
>>61285677
im sorry
>>61288533
"I say you didn't make a real argument so therefore I don't have to make one!"
still not an argument.
the more you talk the dumber you look.
>>61288586
let me clarify for you
>>61288338
here you just let bullshit foam and bubble out of your stupid mouth
>>61288380
Here I pointed out how wrong you were
>>61288454
Here you didn't make an argument but just continued to string together words you clearly don't understand
>>61288468
Here I stopped trying to convince you with reasoning because you clearly can't read
>>61288518
Then you accused me of not making an argument when my previous post was directed at your lack of an argument
>>61288533
Here I gave you another chance to read back and realize that you were the one who had no idea what they were staying and should have stayed silent while the grown-ups spoke.
You didn't understand that cue, of course.
>>61288586
Here you just vomited on your keyboard and filled out the captcha.
I hope this clears it out for you you autistic moron
>>61288664
it doesn't because you're still a stupid nigger that doesn't know what an argument is.
you're just saying you're right and getting all excited about it like some mentally disturbed monkey while slapping your chose against your keyboard until there's enough text it looks like you're making an argument until you actually read it. you're not saying anything telling me how or why I'm wrong because you're a stupid monkey nigger.
>>61288790
You said a language can't be formally approved and that that "isn't a thing". You said only pajeets would fall for "formal approval" of a language.
I said formal verification is a thing. Read the definition or a wikipedia article. There's nothing more to explain. Formal verification is a thing, and that is an indisputable fact, which means that your original post was completely false.
That's why you're wrong.
>>61288302
Rust isn't supposed to be for formal verification, it's supposed to include a very limited for of it to kill memory errors.
>>61288835
Approval != verification. Nice goalpost moving though, inbred.
>>61289562
verified = approved illiterate ball of smegma
>>61289605
Congrats on your test results. Your chromosomes are formally approved to be above average.
>>61285335
>Microsoft's Visual C pee pee on suicide watch
Rust integrates surprisingly well with VS
>>61288338
>made with love in San Francisco
I don't want the kind of love they make in that city desu
>>61285335
>it's another Rust shill thread
Sage and hide.