Joachim Breitner wrote:
> Am Samstag, den 13.09.2014, 00:01 -0400 schrieb David Feuer:
> > On Sep 12, 2014 2:35 PM, "Joachim Breitner"
> > wrote:
> > > Interesting. I assumed that some wrap.unwrap=id law would hold, or
> > at
> > > least some moral approximation (e.g. disregarding bottoms in an
>
Which scanl wrapper are you referring to?
The first one I figured out was quite wrong in certain ways. But I think
the new one is less controversial; it's a lot like the reverse one.
On Sun, Sep 14, 2014 at 1:03 PM, David Feuer wrote:
> Joachim Breitner wrote:
>
>> Am Samstag, den 13.09.2014, 0
Your scanl wrapper might be right for scanl, but it does not satisfy the
condition Joachim proposed. In particular, if we define
(!!) :: [a] -> Int -> a
xs !! n
| n < 0 = error "Negative index."
| otherwise = foldrW indexWrap indexCons (error "Large index.") xs n
where
indexCons x _ 0 =
Hi,
Am Donnerstag, den 11.09.2014, 09:46 -0400 schrieb David Feuer:
> Joachim Breitner wrote:
> > Together with John Wiegly at ICFP, I started to create a list
> > performance laboratory. You can find it at:
> > https://github.com/nomeata/list-fusion-lab
>
> Many thanks to you both! This
Hi,
Am Sonntag, den 14.09.2014, 14:47 -0400 schrieb David Feuer:
> Your scanl wrapper might be right for scanl, but it does not satisfy
> the condition Joachim proposed. In particular, if we define
>
> (!!) :: [a] -> Int -> a
> xs !! n
> | n < 0 = error "Negative index."
> | otherwise = fold
what fails to build with head? (current head + cabal have that fix that
still need merging in, so its hard to try criterion with current todays
head, which is all i have handy at present)
On Sun, Sep 14, 2014 at 4:11 PM, Joachim Breitner
wrote:
> Hi,
>
>
> Am Donnerstag, den 11.09.2014, 09:46 -
Hi,
Am Sonntag, den 14.09.2014, 16:26 -0400 schrieb Carter Schonwald:
> what fails to build with head? (current head + cabal have that fix
> that still need merging in, so its hard to try criterion with current
> todays head, which is all i have handy at present)
>
some weeks ago, I had problem
