There are some interesting ideas about programmability, like automagically offloading some computation parts to FPGA. http://conal.net/blog/posts/haskell-to-ha

There are some interesting ideas about programmability, like automagically offloading some computation parts to FPGA. http://conal.net/blog/posts/haskell-to-hardware-via-cccs http://conal.net/blog/posts/haskell-to-hardware-via-cccs http://conal.net/blog/posts/circuits-as-a-bicartesian-closed-category http://conal.net/blog/posts/circuits-as-a-bicartesian-closed... https://github.com/conal/lambda-ccc/blob/master/doc/notes.md https://github.com/conal/lambda-ccc/blob/master/doc/notes.md