[Haskell-cafe] Referential Transparency and Monads

Luke Palmer lrpalmer at gmail.com
Thu Apr 9 16:09:09 EDT 2009


On Thu, Apr 9, 2009 at 1:33 PM, Miguel Mitrofanov <miguelimo38 at yandex.ru>wrote:

> I'm not sure what you mean by that, but semantically IO is definitely
>> *not* a state monad.  Under any circumstances or any set of assumptions.
>>
>
> Ehm? Why not?


Mainly forkIO.  There may be other reasons.

Luke
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090409/85d35ee2/attachment.htm


More information about the Haskell-Cafe mailing list