I work with Bluespec. It's miles better than Verilog, but coming from a Haskell background, I can't help but feel disappointed with the limitations their altern

I work with Bluespec. It's miles better than Verilog, but coming from a Haskell background, I can't help but feel disappointed with the limitations their alternative syntax puts on my ability to abstract things. (No lambdas, no do-notation, needlessly verbose sum types) I'm also not really convinced by their hardware model (Guarded Atomic Actions). In practice, I've found that it leads to very disjointed flow control, and forbids what seem like intuitive designs.