Others know more than I but the gist of it is that you can compile functions to circuits. Haskell's functions are fundamentally different from C's functions (which are basically procedures that sometimes have a return value), but there's no reason you can't compile a non-strict function to a circuit. On 10/21/18 2:04 AM, Joachim Durchholz wrote:
Am 21.10.18 um 04:52 schrieb Will Yager:
This is the basis of projects like Clash (Haskell to HDLs). I imagine one could extend the clash approach to generate allocation-free assembly from the same (large) subset of Haskell.
Is that subset described somewhere?
Regards, Jo _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.