They're languages for descriptions of reactive dataflow. That they happen to specialize in dataflow which is synthesizable as hardware doesn't change that they

They're languages for descriptions of reactive dataflow. That they happen to specialize in dataflow which is synthesizable as hardware doesn't change that they're programming languages. (Yes, it's easy to accidentally write unsynthesizable code in them -- but similar issues hold true for many declarative languages.)