[Haskell-cafe] Re: Referential Transparency and Monads
Jonathan Cast
jonathanccast at fastmail.fm
Fri Apr 10 01:09:24 EDT 2009
On Fri, 2009-04-10 at 01:03 -0400, Brandon S. Allbery KF8NH wrote:
> On 2009 Apr 10, at 0:52, Jonathan Cast wrote:
> > On Fri, 2009-04-10 at 00:46 -0400, Brandon S. Allbery KF8NH wrote:
> >>> IO a ~ World -> (a, World)
> >>
> >> I still don't understand this; we are passing a World and getting a
> >> World back,
> >
> > We are? Why do you think that?
>
> Because that's what (World -> (a,World)) means, last I checked.
Does
undefined :: (a, World)
contain a World?
jcc
More information about the Haskell-Cafe
mailing list