[jdsully]

Xilinx is all in on high level synthesis. Although they are focusing on C++ and python instead of functional languages.

[vmchale]

I'm kind of surprised. I get that Haskell/ML may not be the best-known, but even an original functional language is better than spamming pragmas on for loops