[Haskell-cafe] Type system madness

[Lennart Augustsson]

Yes, that's one way to define IO.  But it's not the only way.

On 7/11/07, Jonathan Cast <jcast at ou.edu> wrote:
>
> On Wednesday 11 July 2007, Lennart Augustsson wrote:
> > Well, Haskell defines the IO type to be abstract, so if IO and ST happen
> to
> > be the same it's implementation dependent.
>
> And if IO uses a RealWorld type, that's implementation dependent too.  But
> it's still useful to understand both RealWorld as used by IO and the same
> mechanism as used by ST.
>
> Jonathan Cast
> http://sourceforge.net/projects/fid-core
> http://sourceforge.net/projects/fid-emacs
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20070711/a2bd147c/attachment.htm