• toastal@lemmy.ml
      link
      fedilink
      arrow-up
      1
      ·
      1 hour ago

      This is how they want to frame it. C has footguns, therefore use Rust—instead of Rust is one of the options you could use.

    • nyan@sh.itjust.works
      link
      fedilink
      arrow-up
      5
      ·
      2 days ago

      Nor does Forth (which used to be a common choice for “first thing to bootstrap on this new chip architecture we have no real OS for yet”). Alas, they’re just not popular languages these days.

    • gerdesj@lemmy.ml
      link
      fedilink
      English
      arrow-up
      20
      ·
      2 days ago

      Start the linuxa or alinux project and off you trot. Find a better name than I did here and you’ll be fine.

      • solrize@lemmy.world
        link
        fedilink
        arrow-up
        1
        ·
        edit-2
        7 hours ago

        I have played with Ada but not done anything “real” with it. I think I’d be ok with using it. It seems better than C in most regards. I haven’t really looked into Rust but from what I can gather, its main innovation is the borrow checker, and Ada might get something like that too (influenced by Rust).

        I don’t understand why Linux is so huge and complicaed anyway. At least on servers, most Linux kernels are running under hypervisors that abstract away the hardware. So what else is going on in there? Linux is at least 10x as much code as BSD kernels from back in the day (idk about now). It might be feasible to write a usable Posix kernel as a hypervisor guest in a garbage collected language. But, I haven’t looked into this very much.

        Here’s an ok overview of Ada: http://cowlark.com/2014-04-27-ada/index.html