Arrays and arrays
Simon Marlow
simonmar@microsoft.com
Thu, 23 Jan 2003 12:16:44 -0000
> Since you're on the line, could you confirm or deny that the (//)
> operator is something equivalent to (roughly):
>=20
> a // ps =3D runST (thaw a >>=3D \u -> update ps >> unsafeFreeze u)
>=20
> I.e. that the list of updates are treated as an atomic operation?
> Because doing it that way explicitly sure didn't seem to help.
Yes, it is.
> OTOH, doing lots of small (//) seems to be faster than doing a few
> large ones (containing the same updates). Go figure.
That's bizarre. Perhaps the results are obscured by some other
optimisations which are happening.
Cheers,
Simon