[Haskell-cafe] Well typed OS

Vanessa McHale vanessa.mchale at iohk.io
Sun Oct 21 17:39:26 UTC 2018

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.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 488 bytes
Desc: OpenPGP digital signature
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20181021/60d4cc1f/attachment.sig>

More information about the Haskell-Cafe mailing list