[bobnamob]

There's a haskell project called Clash[1] that produces VHDL/Verilog that gets pretty close to this for FPGA development. [1]https://clash-lang.org/

[mhh__]

Bluespec is also based on Haskell and is now open source