Sure, but languages and the problems we solve with them are both multifaceted, so simply pointing to one tool and saying "this is better than the one you have in your toolbox" is fine, but the plural in "zero cost abstractions" kind of implies that most or all the tools are at parity or better.
It sounds like you're saying that you consider seeing this single instance of someone writing a library with a costly abstraction to be indicative of the entire language ecosystem not fitting the paradigm. This is kind of hard to take seriously; it's not like C++ doesn't have some costly abstractions as well way more embedded into the language itself (e.g. exceptions).
> someone writing a library with a costly abstraction
That's not what happened here.
> it's not like C++ doesn't have some costly abstractions
This is simultaneously both completely orthogonal to my observation that the Rust FFI is borked, and a great example of a problem that wouldn't happen in C++, because in C++ you could completely ignore the costly abstractions if necessary.
> > someone writing a library with a costly abstraction
> That's not what happened here.
Yes it is. Where do you think the `FFISafe` type that they used came from? It's not anything inherent to how Rust does FFI; it's a type someone wrote in an attempt to try to provide an abstraction, and that abstraction happened to have a cost. There's absolutely no reason anyone has to use it in order to do FFI in Rust.
The company I worked for in the early 80’s was in the market for a CAD system, and they all had constraint systems in the UI, and showed them in the demos.
CAD people got this a long time ago, but, unfortunately, HTML people never did. Layout is a 2D constraint problem, but HTML/CSS approaches it as a procedural problem, partly because early browsers were so compute and bandwidth constrained.
CAD is great at parametric design, which gets significantly more complicated when the viewport changes shape.
Taking a procedural approach instead of solving constraints is necessary for folks to stay sane when they're trying to get the same website to work on phones and desktops.
It’s true that the POTUS is subject to the US courts. But I think it is fair to read TFA as a lament about an unwise assumption that is broader than “Biden wouldn’t have done certain things.” The organs of the EU should protect EU interests as if no nonEU organ ever agreed by default with the EU’s values.
My college required its graduates to pass a minimal swimming test. Just enough swimming ability to give a potential rescuer some extra time to effect the rescue, rather than have us go straight to the bottom of the sea. We all took a test in the first week or so. Those who failed had to take a course and retake the test.
In the last “big” shop I worked in, we were cross-compiling all production code. Each target device had an SDK that came with a GCC and a kernel tarball, inter alia. We had a standard way to set these up. We used C++03 for years. We decided to try C++11 for userland. All the compilers supported that and after some validation, we changed permanently. Neither before the change nor after, did we rely on the absence of a “—-std=“ command line option as the means of choosing the standard for C++ or even C.
Of course we were all ADHD pedantic nerds so take this with a grain of salt.
Argentina is a deeper example. A mfr can/could build a plant in Tierra del Fuego and avoid tariffs. But it has been cheaper to fly to Manhattan and buy your iPhone than to buy whatever cellphones are available in Buenos Aires.
> Some Americans do think that the Electoral College is not that democratic.
"democratic" and "elected" are entirely different adjectives.
The system for electing the US President is very much not democratic, and still the President is very much elected. (Though its less undemocratic than it used to be, when the electors themselves were not generally directly elected by the voters.)
There are indirect elections that are reasonably demoocratic despite being indirect (the PM in some, but not all, parliamentary systems), there are elections that aren't based on anything like a general citizenry at all—e.g., Papal elections. For a leader to be elected is certainly not a sufficient condition for their position to be held democratically (it may be a necessary condition, though.)
reply