3 ms·

Is there any other systems language that's even moving towards a mature ecosystem with a compiler like CompCert? It feels like this is still decades away for an

by addaon 4y ago

Is there any other systems language that's even moving towards a mature ecosystem with a compiler like CompCert? It feels like this is still decades away for any realistic competitor to C.