I think you've just described cython. A higher-than-c level language that trivially binds to the higher target language.