the_arcadian
Joined 4 years ago
Joined 4 years ago
LOL, sure borrow-checked reference counted pointers that can't equal null to mark the beginning or end of a chain are exactly what I am looking for when I want to build a linked list or tree. Why are you like this, Rust?
Which means that when you present me with a systems programming language that enforces an ownership concept that makes it much more difficult to write allocators or even doubly linked data structures, and then use that language's existence to justify adding the same restrictions into a version of C, "who asked for this?" might well be the least offensive response I can muster.
> We use languages that impose other “arbitrary” constraints on us
> The ownership model is a similar concept [to type checking]
Except we didn't. K&R rejected Pascal for their work on Unix precisely because it was too strongly typed and didn't provide sufficient escape hatches. Arrays were typed by length, there was no pointer arithmetic, there was little or no typecasting or coercion, no generic pointer types, no null pointers, etc.
All these restrictions that were in place to create a safer language made Pascal completely unsuited to writing allocators, buffered IO, and other OS internals. So instead, they ditched Pascal and created C and had Unix up in running in just a couple of years. Maybe there's a lesson there.
I have a question. Who asked for this? Like who exactly raised their hand and said yes, I want a systems programming language that won't let me compile syntactically and semantically correct programs because they don't follow an arbitrary ownership model?
So for example, if I posted "100 black Americans are killed every day by white Americans", which is obviously both misleading and inaccurate, you would be risking your account by engaging in any kind of discussion or debate, or even arguing that you should be allowed to discuss and debate that. That's because you would be violating multiple rules - first, a rule that protects specific races from criticism, second, a rule that disallows even accurate breakdowns of crime by race, and third, a rule that prevents you from discussing and debating aspects of the TOS itself.
Thus, by the rules of Reddit, my statement would stand completely unchallenged. Now realistically I don't think my statement alone would result in a rash of payback crimes, but over time you are giving people a skewed version of the world in which violence can be justified. And sure, one could argue that they're not legally responsible for what people do and that any attempt to hold them responsible is guilt by association, but OTOH I don't think any social media company wants that kind of reputation and press.