Re: [Haskell-cafe] Unit Testing with Control.Proxy

On Tue, Apr 16, 2013 at 2:45 PM, Dan wrote: > I've discovered the excellent proxy library recently and one thing strikes > me. How do you unit test a proxy? Are there any specific methods or > workflows for doing this cleanly and consistently? I don't think it's different from testing other norma

Re: [Haskell-cafe] Map Reduce spec in Haskell

There was a paper about this. I think I found it. "Google's MapReduce Programming Model -- Revisited" http://userpages.uni-koblenz.de/~laemmel/MapReduce/paper.pdf ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/list

Re: [Haskell-cafe] Map Reduce spec in Haskell

This looks right, but there is definitely a lot more to mapreduce implementations than algebraic signatures! It might also be considered that there are lots of people using MapReduce technology on things other than "bare metal" Hadoop/MapReduce, etc.. Lots of data analysts, ML people, etc.., use

[Haskell-cafe] Map Reduce spec in Haskell

I'm learning about the Map Reduce computation frequently used with big data. For the fun of it, I decided to write a very high-level spec of Map Reduce. Here is what I came up with. Enjoy. John > module MapReduce where > import Data.List (nub) A high-level specification of Map Reduce as a Has

Re: [Haskell-cafe] unsafeInterleaveST (and IO) is really unsafe

Am 18.04.2013 15:17, schrieb Duncan Coutts: On Mon, 2013-04-15 at 20:44 +0200, David Sabel wrote: A very interesting discussion, I may add my 2 cents: making unsafeInterleaveIO nondeterministic indeed seems to make it safe, more or less this was proved in our paper: http://www.ki.in

Re: [Haskell-cafe] a library for abstract algebra?

Wow, "there is an Edward Kmett package for everything", isn't it? :D On 18 April 2013 13:12, Gábor Lehel wrote: > http://hackage.haskell.org/package/algebra > > -- > Your ship was destroyed in a monadic eruption. > ___ > Haskell-Cafe mailing list > Ha

Re: [Haskell-cafe] unsafeInterleaveST (and IO) is really unsafe

On Mon, 2013-04-15 at 20:44 +0200, David Sabel wrote: > A very interesting discussion, I may add my 2 cents: > making unsafeInterleaveIO nondeterministic indeed seems to make it safe, > more or less this was proved in our paper: > > http://www.ki.informatik.uni-frankfurt.de/papers/sabel/

Re: [Haskell-cafe] a library for abstract algebra?

http://hackage.haskell.org/package/algebra -- Your ship was destroyed in a monadic eruption. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] a library for abstract algebra?

Hi, Maybe, Numeric Prelude will work: http://hackage.haskell.org/package/numeric-prelude Regards, Pavel > Petr Pudlák > April 18, 2013 12:50 > Hi, > > is there a Haskell library for defining and working with algebraic > structures such as groups, rings, fields, finite

[Haskell-cafe] a library for abstract algebra?

Hi, is there a Haskell library for defining and working with algebraic structures such as groups, rings, fields, finite fields, vector spaces or modules? I found only several vector-related libraries, but they were all only over the field of real numbers (Double) and defined only vector spaces, no