[Haskell-cafe] Well typed OS

[Vanessa McHale]

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>