[Haskell-cafe] Re: STM in F#
s.clover at gmail.com
Fri Jan 18 11:08:44 EST 2008
B-but, (and here's the ironic part), launchMissile is only idempotent it the
missile is atomic.
2008/1/18 Brent Yorgey <byorgey at gmail.com>:
> On Jan 18, 2008 4:59 AM, Ketil Malde <ketil+haskell at ii.uib.no> wrote:
> > apfelmus <apfelmus at quantentunnel.de> writes:
> > >> I imagine this can only ease the process of learning Haskell, and
> > >> broaden the base of possible Haskellers, as more people on using .NET
> > >> stuff become familiar with modern typed FP.
> > > There's a reason the STM monad hatched in Haskell: how does the above
> > > STM in F# handle side-effects like launchMissile ?
> > If you read the comments at the bottom, it seems it does not. Expect
> > an arbitrary number of missiles (although the final effect of
> > destroying the target city will perhaps be the same).
> That's only because launchMissile is idempotent.
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe