Confluence is functional programming language for reactive system design and for digital logic in particular.
Meta-HDLs are HDLs embedded in conventional programming languages. The advantage of a meta-language approach is the HDL can make full use of the features in the hosting language. Usually a framework is provided for design simulation, and possibly netlist generation.
Commercial HDLs and high level verification language (HLV).