[Peteragain]

Programming languages were originally designed by mathematicians based on a Turing machine. A modern language for FPGAs is a challenge for theoretical computer science, but we should keep computer literate researchers away from it. This is a call out to hard core maths heads to think about how we should think about parallelism and what FPGA hardware can do.

[Ericson2314]

https://clash-lang.org/ we've already done the research! Circuits are just functional programming (the vast majority of the time).

We just need the toolchains to be opened up.