That's exactly what Nim does, and it works quite well. The bindings are easy to create (there is an automated tool that does most of the work), they look like

That's exactly what Nim does, and it works quite well. The bindings are easy to create (there is an automated tool that does most of the work), they look like Nim function declaration and can add better typing checks on FFI calls. You still have manual memory management and pausable, optional GC.