There are two interesting extremes of platform independent programming language design. One maps to hardware operations without surprising overhead, and another maximizes code correctness and verifiability by obeying all expected mathematical and set theoretic properties.
-
-
So, how well do you think Rust fares here?
-
Rust is C++ minus powerful template abstraction features plus stronger safety guarantees through shifting proofs of liveness to the programmer. Kind of one step backward and one step forward, not any closer to ideal.
- 4 more replies
New conversation -
-
-
What’s considered “unsafe” here? It seems like the lower level could trivially violate invariants required in the higher level, which would result in UB in the higher level.
-
Lower level code would be for performance critical systems that is assumed to be correct but isn’t proven to be so. This approach enables incremental adoption. We can start with a working but unproven system and prove more of it correct over time.
- 2 more replies
New conversation -
-
-
This is the thing that people need to understand. People have come to conflate “high level” with “in a separate universe from concerns with the CPU”... but the right idea is to connect from the high level all the way to the lowest level, and you adjust level as needed.
-
Rust is the closest thing we have to that today. For example, signed wrapping arithmetic operations exist in the CPU but were effectively removed from C/C++. But they exist in Rust (if a bit verbosely).
- 2 more replies
New conversation -
-
-
To me you just described Rust: I have high level abstractions, algebraic data types, etc., but I can implement a memory allocator or talk to C library at the same time.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Tim I cant take all this in. I'm not a very smart person
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Ok but does Fortnite use a different code language
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
A chief suggestion regarding the current state of Fortnite: Separate the PC players from the console players as this increased very strongly in the level of fights and is causing abandonment of the game. It would be a start to recover public in the game.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.