VHDL is what I use at work. It does work fine, but isn't it a bit funny having to ignore/unlearn all the procedural leftovers from Ada? Synthesizable for loops are a good example. In hardware these are synthesized such that they aren't procedural and there is no loop. It's actually much more similar to a map function in FP and it happens concurrently, not iteratively.