Comments by "Mikko Rantalainen" (@MikkoRantalainen) on "Rust Is Splitting The Linux Kernel In Half" video.

@HenryLoenwind The "semantic annotations" are exactly the thing Rust wrapper adds to the C API. The C API documentation may have stuff akin "you must call free() exactly once for each successful malloc()" whereas the Rust can implement that natively on code level. In most cases where R4L have needed support from C developers has been cases where Rust developers notice that C developer has failed to even document the corner cases and when the R4L developers try to ask for the missing spec, the C developer starts a flamefest instead of simply agreeing that yes, the spec didn't specify the requested thing. If C supported encoding the require semantics in the source code, Rust wrapper could be automatically generated by the compiler with zero human maintained files. Instead we have C code with handwavy documentation in English and R4L people trying to rewrite the API into format specification that can be processed by a compiler. They simply happen to write that formal specification in Rust syntax because otherwise there would be 3rd language in the mix!
3
10:40 These open source supporters claim to support freedom but the next moment they want other people to be kicked out of the project because somebody used a word that they think should be banned?
1