Re:Linus Torvalds: Rust for the Kernel Could Possibly Be Mer...
by acuozzo on Thursday June 23, 2022 @01:16PM
(#31852219)
Given the state of undefined behavior in the standard, I'm inclined to agree with you.
With that being said, can you recommend a modern language designed around a model of computation flexible enough to target e.g. non-flat memory models?
I'm additionally interested in targeting MCUs with no ISA-supported stack and ~2KiB of RAM.
Re:Linus Torvalds: Rust for the Kernel Could Possibly Be Mer...
by trasz on Thursday June 23, 2022 @01:08PM
(#31852097)
You're assuming that newer stuff is always better. Experiences with operating systems don't quite confirm this, though. There has been plenty of operating systems in newer languages, and nobody remembers them.
Re:Linus Torvalds: Rust for the Kernel Could Possibly Be Mer...
by ahahahahah on Thursday June 23, 2022 @05:24PM
(#31855335)
Isn't parent's very first line, in fact, about how a newer thing was much much worse?
GP was just emphasizing how old and crumbling that fossil is with the 50 years old remark.
>What if there's nothing wrong with its intended purpose
And what, exactly, is its intended purpose ? It was to rewrite a 10K LOC kernel maintained by a core team of 3 developers from PDP-7 assembly, in an age before the personal computer and the internet. It was literally created as an ad hoc, bug ridden and unspecified implementation, starting with the thinnest dressing over assembly and adding the absolute bare minimum required for a human to write ~10K LOC without gouging their own eyes off.
There is plenty wrong with it.
>I don't understand the "it's old therefore bad" argument.
It's easy. Fields where there are progress invalidates and supersede their own widsom. You wouldn't go to a doctor trained 50 years ago if you could help it. You wouldn't drive a car made 50 years ago. The only fields where that's not the case is stagnating one, like building houses or making furnitures. Things where 'progress' consists of irrelevant-to-quality changes.
Programming language design is in the first category, and not the second. Especially in the period from 1975 to 2000, it learned and discovered so much that languages made before that period might as well be cave man scribbling on cave walls.
[1] https://quotepark.com/quotes/1741351-c-a-r-hoare-about-algol...