Re: [Haskell-cafe] Well typed OS

On Oct 22, 2018, at 01:43, Vanessa McHale 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.