[Haskell-cafe] Re: STM in F#

[Sterling Clover]

B-but, (and here's the ironic part), launchMissile is only idempotent it the
missile is atomic.

--S

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.
>
> -Brent
>
> _______________________________________________
> 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/20080118/2cdd6ae5/attachment.htm