My qbe C frontend is actually written in myrddin which is a lot like rust&#x2F;ocaml.<p>To be honest, C is not well suited to places where there is adversarial input such as servers, but when it comes to logical correctness of code I do not see amazing benefits from languages like ocaml.