<div dir="ltr">>    Haskell was "more for academic purposes",<br><br>The Bluespec Hardware Design Languages BSV (Bluespec SystemVerilog)<br>and BH (Bluespec Haskell) digital hardware circuit design have been in<br>industrial production and commercial use for over 20 years now.  They<br>have been used inside ST Micro, Texas Instruments, IBM, Qualcomm,<br>Google, Galois and other companies, for ASIC and FPGA products and for<br>high-level hardware prototyping and architecture exploration.<br><br>The BSV and BH languages are themselves heavily inspired by Haskell.<br><br>The 'bsc' compiler for BSV and BH is written entirely in Haskell, and<br>has been in continuous use/development/maintenance/improvement for 20<br>years, and constitutes about 125K lines of Haskell.<br><br>The 'bsc' compiler was open-sourced a few years ago and continues to be actively<br>used and maintained:  <a href="https://github.com/B-Lang-org/bsc">https://github.com/B-Lang-org/bsc</a><div>The Haskell code for the compiler is in the src/ directory.<br><br>Nikhil<br></div></div>