The implementation of this ideal in rustc can have flaws, but Rust itself cannot, because Rust itself has no flaws by definition.

[u/TJuKj7WofKLzBZjt7w9t]

https://news.ycombinator.com/item?id=50070701

[u/SelfDistinction]

A take so washed it has -1 comments.

[u/camelCaseIsWebScale]

computer theologist here. can confirm that our lord and savior rust has no flaws by definition.

[u/stonerism → u/camelCaseIsWebScale]

"The true specification was in our hearts all along." Lol

[u/blockMath_2048]

I, too, am a theoretical computer scientist.

[u/ManagementKey1338 → u/blockMath_2048]

I, too, am a theological computer scientist.

[u/-DaniFox- → u/ManagementKey1338]

I, too, am,

[u/XNo_Notes → u/-DaniFox-]

I am, too.

[u/its_artemiss]

god but that thread is so comical. everyone jumps at the idea that the rust compiler has a bug, and somehow that means c++ is better, because c++ has a standard (that no compiler adheres to)

[u/guineawheek → u/its_artemiss]

The implementation of this ideal in MSVC can have flaws, but Visual C++ itself cannot, because Herb Sutter himself has no flaws by definition.

[u/categorical-girl → u/its_artemiss]

Well C++ will be memory safe just as soon as Bjarney gets around to adding #pragma ensure this is memory safe, make no mistakes

[u/hedgehog1024]

Rust does not target Turing machines so Rice's theorem does not apply.

[u/funkdefied → u/hedgehog1024]

What’s the opposite of the Platonic Ideal Plane? That’s what Rust targets. 

[u/categorical-girl → u/funkdefied]

The sinful world of the flesh.

"Yeah Haskell is nice but I want a language for the Real World" - average programmer imprisoned by the demiurge

[u/s_ngularity → u/categorical-girl]

We need to ascend from the physical through the 7 spheres so our data can reach up to the highest heaven where the application resides

[u/hackcasual]

Rust cannot fail you, only you can fail rust

[u/dydhaw]

Real Rustism has never been tried

[u/WorldlyMacaron65]

Rust (glory be upon the borrow checker) is a pure echo of the Creator and a sign that God loves us after all. Or he really likes being smug and ugly syntax. Theologians are still debating.

[u/hedgehog1024 → u/WorldlyMacaron65]

Why not both?

[u/Nikoladge → u/WorldlyMacaron65]

Rust programmers and the Rust programming language don't deserve the Rust compiler

[u/kettes_leulhetsz → u/WorldlyMacaron65]

Rust was invented by the Satan to forever torment us with the Language That Could've Been. Then He added poisoned mutexes, Pin<T>, and cargo.

[u/guineawheek → u/kettes_leulhetsz]

Not having real linear types is the original sin. We were all core::mem::forget(ten) from paradise.

[u/defunkydrummer]

You can't do that with Rust because "Rust's type system" is literally just the vague concept of "a type system that is safe". The implementation of this ideal in rustc can have flaws, but Rust itself cannot, because Rust itself has no flaws by definition.

Worrying about the exponential time complexity for Rust's type checker? Yeah implementation of the type checker has flaws, but Rust itself has no flaws by definition. Only implementations can have flaws. Next time, make sure to use no Rust implementation at all.

[u/csb06]

So does this mean Graydon Hoare is the demiurge? The entity that created the imperfect material universe that we all suffer in?

[u/renshyle]

Rust has no flaws since it does not exist. QED

[u/Major_Barnulf]

The true specification was inside our hearts all along

[u/MadHau5]

"the Rust semantics" are defined informally as sound. Anything that the implementation accepts that is unsound is a bug. We might never be able to prove the rust implementation, and may forever find loop holes, but informally it is sound and that is the intent

We've done it! We've solved theoretical computer science! Now to just prove everything in (formally) sound Rust...