curious9999_2

3 ms·

1. 1.▲
   by curious9999_2 1y ago

   On memory unsafe Rust: It tends to come crashing down when unsafe is necessary, for both reasoning about unsafe is harder than in C++, and the rules for unsafe in Rust is an active area of research. Do you know all the intricate rules of un
2. 2.▲
   by curious9999_2 1y ago

   I think it is fine for C and C++ to be relegated for use caches where they make the most sense. I don't see the point of comparing them to niches, markets or cases where for instance garbage collection is fine. And, I already mentioned
3. 3.▲
   by curious9999_2 1y ago

   That seems more an argument against Rust than one for, sorry. Library assistance, not part of the standard library, does not seem to be used much, not many examples. > Use at your own risks[sic]! >This is very much an Alpha quality re
4. 4.▲
   by curious9999_2 1y ago

   > Doubly linked lists aren’t that important today. I guess Rust is just not a viable or good language if one cannot even implement easily something as basic as a doubly linked list. Doubly linked list is the bare minimum; if that is not
5. 5.▲
   by curious9999_2 1y ago

   It was indeed the SPARK dialect I am referring to. I find the Ada community difficult to navigate, the existence of multiple dialects does not make it easier. Please do correct me if I am wrong, and I apologize for any mistakes that I might