race conditions
-
But how does the Rust compiler do that? What does it actually check? Could I write a compiler in C that does this check on a piece of Rust code?
C is so simplictic, that if I can write a piece of functionality in C, I must understand its inner workings fully. Not just how to use the feature, but how the feature works under the hood.
It is often pointless to actually implement the feature in C, since the feature already has a good implementation (see the Rust compiler for the memory safety). But understanding these features, and being able to mentally think about what it takes in C to implement them, is still helpfull for gaining an understanding of the feature.
Could I write a compiler in C that does this check on a piece of Rust code?
Well yes, but that code has to be written in Rust. The human has to follow rules to give the compiler a chance to check things.
C is so simplictic, that if I can write a piece of functionality in C, I must understand its inner workings fully. Not just how to use the feature, but how the feature works under the hood.
I don't think that's particularly more true of C than Rust or even Golang. In C you are frequently making function calls anyway for the real fun stuff. If you ever compile a "simplistic" chunk of C code that you think is obvious how it would compile to assembly and you open up the assembly output, you are likely to be very surprised with what the compiler chose to do. I've seen some professional C developers that never actually had a reason to fully understand how the stack works, since C abstracts that away and the implications of the stack don't matter until you exceed some limitations.
-
This implies that Javascript will get moving in the correct direction once it finishes installing dependencies, but it's just going to get fucked with incorrect behavior that doesn't even have the courtesy to throw an actual error.
incorrect behavior that doesn’t even have the courtesy to throw an actual error.
To be fair, this can be said of C. A C executable only really forces a crash out when you royally screw up beyond the bounds of your memory. Otherwise functions just return a negative value and calling code that never bothers to check just keep on going.
Golang is similar, slightly mitigated that if you are assigning any return value from a function, you must also explicitly receive an error and you know full well that you are being lazy if you don't handle it. Well unless you use a panic/recover scheme but golang community will skewer you alive for casually suggesting that and certainly third party libraries aren't going to do it that way.
-
only true if your language compiles to c. fortran peeps are safe.
I thought it compiles to LLVM intermediate representation and then to the machine code of the requested platform arch. Am I missing something?
-
I thought it compiles to LLVM intermediate representation and then to the machine code of the requested platform arch. Am I missing something?
only if you design it using llvm. llvm is pretty new.
-
only if you design it using llvm. llvm is pretty new.
Ah ok I was referring to Rust specifically. Thanks!
-
Ah ok I was referring to Rust specifically. Thanks!
yeah but rednax wasn't.
-
Technically any language runtime can end in a segmentation fault.
For some languages, in principle this shouldn't be possible, but the runtimes can have bugs and/or you are calling libraries that do some native code at some point.
Even safe rust can do it, if we allow compiler bugs
-
This post did not contain any content.
Rust isn't shown because it's already completed the course
-
you can still segfault in rust iirc
Not in safe Rust. Only if you explicitly tell the compiler "I got this, don't worry" but then fuck up.
-
I have seen a Java program I wrote terminate with SIGSEGV. I think a library was causing it.
Yup, can confirm. We had a wrapper to a C++ library using JNI, so whenever this library crashed so did the entire JVM.
-
Apple is for ADA
Ball is for BASH
Crab is for C
Dog is for D
Elephant is for Ecsmascript
Fox is for F#
Goat is for Go
House is for Haskell
Igloo is for
...okay I got stuck there.
Igloo is for Idris
-
Not in safe Rust. Only if you explicitly tell the compiler "I got this, don't worry" but then fuck up.
I guess they fixed the weirdness involving calling main later in the program
-
Not in safe Rust. Only if you explicitly tell the compiler "I got this, don't worry" but then fuck up.
-
Apple is for ADA
Ball is for BASH
Crab is for C
Dog is for D
Elephant is for Ecsmascript
Fox is for F#
Goat is for Go
House is for Haskell
Igloo is for
...okay I got stuck there.
wrote on last edited by [email protected]Java has Duke
Ugh, I accidentally got a fake transparent background. Oh well.
-
Or, rather, most compiled languages are just syntactic sugar on top of assembly, and that's especially true with C. (Oh, you can use curly brances and stuff for blocks? That's sure easier to read than the label mess you get with assembly.)
Assembly is a little too high level for me. I prefer to directly write machine code.
-
Java has Duke
Ugh, I accidentally got a fake transparent background. Oh well.
wrote on last edited by [email protected]Branding fail so bad that everyone forgets that Java even has a mascot.
-
I thought it compiles to LLVM intermediate representation and then to the machine code of the requested platform arch. Am I missing something?
Fortran is from 1957, LLVM is from 2003. It's probably like C where there is a compiler tool chain that goes through LLVM like you describe and others that go directly to executables.
-
It's not what you can use that language to do - all general purpose languages are Turing Complete, so what you can do with them is exactly equal. It is about what the language will do for you. Rust compiler will stop you from writing memory unsafe code, C compiler cannot do that.
Fun fact, some languages are not turing complete and I believe people would still consider them programming languages. They're typically targeted at making mathematical proofs.
-
This post did not contain any content.
The puffer fish is Bash
-
C++ is home sick, currently the doctor (compiler) is not sure whether it's got the flu or a terminal cancer.
terminal cancer
"I'm sorry, you've been diagnosed with :(){:|:&};:"
"You have a couple seconds to live."
