Hal Daume III <[EMAIL PROTECTED]> wrote,
> clearly IOMutArray is the best, even outperforming the
> UnboxedArray. Unfortunately, writing code in the IOMutArray format is
> much uglier than writing it in the UnboxedArray or NormalArray formats,
> even though I know that I'm never going to refer t
> Could you try IOUArray for completeness too? (An IOUArray is the
> unboxed version of IOArray, it can be found in Data.Array.IO).
It fits in as the fastest:
IOUnboxedMutArray 0.48u 0.04s 0:00.58 89.6%
> > NormalArray 1.65u 0.20s 0:01.89 97.8%
> > NormalArrayReplace
Thanks. Fixed.
Incidentally, the cement is set just about solid. I've had no
substantive bug reports since the June release, so I'm on the
point of declaring the H98 Report finished. I'm just waiting for
a few hours spare to do some cosmetics.
(This message is a genuine bug, but I'm not res
As some of you know, our refactoring project here at UKC has just
started (at long last). Of course, it will take some time before
this leads to concrete artifacts in terms of detailed refactoring
catalogues and prototype tools, but we would like to know a bit more
about the environment into whic
> From: Koen Claessen <[EMAIL PROTECTED]>
> Date: Mon, 22 Jul 2002 11:25:16 +0200 (MET DST)
> Lars Henrik Mathiesen wrote:
>
> | lines . unlines = id
> | unlines . lines . unlines == unlines
> | words . unwords . words = words
>
> Don't be fooled by the information content of the second
> equa
Yes that looks plausible, though I assume you meant
| class (
| Monad m,
| forall a. Monoid (m a)
| ) => MonadPlus m
I.e. parens round the (m a).
This business of having 'foralls' in a context (whether for a class or
a function) is not hard to implement in principle, but in pract
On Monday, 2002-07-22, 11:25, CEST, Koen Claessen wrote:
> Lars Henrik Mathiesen wrote:
>
> | lines . unlines = id
> | unlines . lines . unlines == unlines
> | words . unwords . words = words
>
> Don't be fooled by the information content of the second
> equation -- the first equation directl
Lars Henrik Mathiesen wrote:
| lines . unlines = id
| unlines . lines . unlines == unlines
| words . unwords . words = words
Don't be fooled by the information content of the second
equation -- the first equation directly implies it:
unlines . lines . unlines== {assoc (.)}
unlines .
