[Haskell-cafe] Well typed OS

Will Yager will.yager at gmail.com
Mon Oct 22 01:58:26 UTC 2018

> On Oct 22, 2018, at 01:43, Vanessa McHale <vanessa.mchale at iohk.io> wrote:
>  or perhaps the companies using it are just quiet about it :)

It’s this. There are some companies you’ve heard of who are using it quietly :)

> Anything that's tail recursive could be converted to a while loop and then clocked, no?

Yes, but the semantics of this are very different and the translation is much less straightforward (eg how many iterations will it take?). Better to do this “manually”, imo. Construct a mealy machine or something.   

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20181022/cee02651/attachment.html>

More information about the Haskell-Cafe mailing list