Hare looks great! As someone who primarily works in C, the only language I consider a realistic C successor is Zig, D (with the -betterC flag), and now Hare. I do think a C successor needs good interoperability with C. I wonder if the creators of Hare are planning to add a Hare to C transpiler? That would certainly help with portability.