Also checkout clash-lang.org which takes an almost Haskell language to VHDL or Verilog or others.