[throwaway999888]

The closest to what you want might be ATS.

[MichaelBurge]

Thanks for the suggestion - ATS does look interesting and I hadn't heard of it before.

[doublec]

I wrote some posts on using ATS and interfacing with C if you want to dig further into it https://bluishcoder.co.nz/tags/ats/