From: alexfrunews@gmail.com   
      
   On Monday, May 1, 2023 at 6:30:56 PM UTC-7, Dan Cross wrote:   
   > For decades the operating system development landscape has been    
   > dominated by C; specifically in the kernel space. In so many    
   > ways, this makes sense, as C was created to build an operating    
   > system, but it's also become an increasingly hostile language    
   > for its original purpose (e.g., https://arxiv.org/abs/2201.07845    
   > and https://queue.acm.org/detail.cfm?id=3212479; others).    
      
   Yep, the UB creep is bad.   
      
   > This begs the question: what other languages are suitable for    
   > building kernels? Rust seems like an obvious choice, and there    
   > is prior art, such as https://www.redox-os.org/ and my own    
   > https://github.com/dancrossnyc/rxv64 (this is one of several    
   > kernels I've written in Rust).    
   >    
   > It's not perfect; memory management at the level of page tables    
   > etc is still a bit of a slog, and we really need a purely    
   > fallible memory allocation story, but I feel comfortable at this    
   > point saying that it is the best available language for the    
   > domain.    
      
   I'm seeing repeated stories on Linux and Windows supporting   
   rust or moving towards C/C++ to rust conversion. I'm interested   
   in rust too, but I got stuck somewhere in the borrower chapters   
   in the documentation. Do you think the official docs are the best   
   description of those lifetime annotations and such? Or is there   
   something better, with gentler introduction?   
      
   Alex   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)