They also wanted "without loss of performance" (compared to C, I think, based on the context), which also has tension with the other requirements. I don't think

They also wanted "without loss of performance" (compared to C, I think, based on the context), which also has tension with the other requirements. I don't think it's possible to make a memory-safe language that has easy C FFI with no overhead and doesn't require you to think about C stuff. The esoterica of C have to be addressed somewhere.