This reminds me of Handel[1], a hardware description language where you built circuits using Standard ML[2], which is similar to OCaml. [1] No page for Handel

This reminds me of Handel[1], a hardware description language where you built circuits using Standard ML[2], which is similar to OCaml. [1] No page for Handel unfortunately, but its successor Handel-C has a page: https://en.wikipedia.org/wiki/Handel-C#History https://en.wikipedia.org/wiki/Handel-C#History [2] https://en.wikipedia.org/wiki/Standard_ML https://en.wikipedia.org/wiki/Standard_ML