https://clash-lang.org/ we've already done the research! Circuits are just functional programming (the vast majority of the time).

We just need the toolchains to be opened up.