It's nice to see this perspective kept alive. I put some effort into a numerical library (github.com/maedoc/sddekit) in C99, and I didn't find the language lack

It's nice to see this perspective kept alive. I put some effort into a numerical library (github.com/maedoc/sddekit) in C99, and I didn't find the language lacking until I tried to imitate inherited interfaces with virtual dispatch by hand (empirically I can say, a poor move in C lib design). I did find it useful to apply rules like only use uint32_t, double & bool as primitives. My main wish is that it would be possible to opt into automatic const & restrict, as a compiler flag or pragma, so that something like https://github.com/maedoc/sddekit/blob/master/doc/C.md#aliasing-and-mutation https://github.com/maedoc/sddekit/blob/master/doc/C.md#alias... would be easier to do.