[Haskell-cafe] Well typed OS

[Will Yager]

> 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>