Re: simd branch ready for review

2013-02-06 Thread Simon Marlow
On 05/02/13 10:34, Geoffrey Mainland wrote: On 02/05/2013 09:06 AM, Simon Marlow wrote: On 05/02/13 00:36, Geoffrey Mainland wrote: On 02/04/2013 11:56 PM, Johan Tibell wrote: On Mon, Feb 4, 2013 at 3:19 PM, Geoffrey Mainland mainl...@apeiron.net wrote: What would a sensible fallback be

Re: simd branch ready for review

2013-02-06 Thread Geoffrey Mainland
On 02/06/2013 09:24 AM, Simon Marlow wrote: On 05/02/13 10:34, Geoffrey Mainland wrote: On 02/05/2013 09:06 AM, Simon Marlow wrote: On 05/02/13 00:36, Geoffrey Mainland wrote: On 02/04/2013 11:56 PM, Johan Tibell wrote: On Mon, Feb 4, 2013 at 3:19 PM, Geoffrey Mainland mainl...@apeiron.net

Re: nofib comparisons between 7.0.4, 7.4.2, 7.6.1, and 7.6.2

2013-02-06 Thread Johan Tibell
On Wed, Feb 6, 2013 at 2:09 AM, Simon Marlow marlo...@gmail.com wrote: This is slightly off topic, but I wanted to plant this thought in people's brains: we shouldn't place much significance in the average of a bunch of benchmarks (even the geometric mean), because it assumes that the

Re: RFC: Singleton equality witnesses

2013-02-06 Thread Gabor Greif
On 2/5/13, Richard Eisenberg e...@cis.upenn.edu wrote: I'm glad you've revived the thread, Gabor. My attention has been diverted elsewhere, but it's good to move forward with this. Thanks. Hi Richard, thanks for the encouragement! My argument would be not to return Maybe (SameSing kparam

Re: RFC: Singleton equality witnesses

2013-02-06 Thread Richard Eisenberg
On Feb 6, 2013, at 1:03 PM, Gabor Greif wrote: On 2/5/13, Richard Eisenberg e...@cis.upenn.edu wrote: My argument would be not to return Maybe (SameSing kparam a b) but to return Either (SameSing kparam a b) (SameSing kparam a b - Void) or something similar. (Void is taken from the

Re: RFC: Singleton equality witnesses

2013-02-06 Thread Gabor Greif
On 2/6/13, Richard Eisenberg e...@cis.upenn.edu wrote: On Feb 6, 2013, at 1:03 PM, Gabor Greif wrote: On 2/5/13, Richard Eisenberg e...@cis.upenn.edu wrote: My argument would be not to return Maybe (SameSing kparam a b) but to return Either (SameSing kparam a b) (SameSing kparam a b -

Re: nofib comparisons between 7.0.4, 7.4.2, 7.6.1, and 7.6.2

2013-02-06 Thread Simon Marlow
On 06/02/13 16:04, Johan Tibell wrote: On Wed, Feb 6, 2013 at 2:09 AM, Simon Marlow marlo...@gmail.com mailto:marlo...@gmail.com wrote: This is slightly off topic, but I wanted to plant this thought in people's brains: we shouldn't place much significance in the average of a bunch

Re: nofib comparisons between 7.0.4, 7.4.2, 7.6.1, and 7.6.2

2013-02-06 Thread Andy Georges
Hi Johan, On 06 Feb 2013, at 17:04, Johan Tibell johan.tib...@gmail.com wrote: On Wed, Feb 6, 2013 at 2:09 AM, Simon Marlow marlo...@gmail.com wrote: This is slightly off topic, but I wanted to plant this thought in people's brains: we shouldn't place much significance in the average of a

Stable pointers and hash table performance

2013-02-06 Thread Eyal Lotem
Hey, Background I built a hash table in C: https://github.com/Peaker/small_hash According to a few simple benchmarks (mainly, 10 million insertions), my C hash table is much faster than any Haskell data structure I tried (e.g: 8 times faster than IntMap). You can run the C