Re: [Haskell] ANNOUNCE: set-monad

2012-06-16 Thread Derek Elkins
On Sat, Jun 16, 2012 at 3:47 AM, Dan Burton wrote: > > Convenience aside, doesn't the functor instance conceptually violate some > sort of law? > > fmap (const 1) someSet > > The entire shape of the set changes. > > fmap (g . h) = fmap g . fmap h > > This law wouldn't hold given the following con

[Haskell] FunctionalOWL: FP Usergroup in Germany, area Bielefeld

2012-06-16 Thread raichoo
Announcing FunctionalOWL in Bielefeld! Next Wednesday will be the first meetup of the FunctionalOWL at Hackerspace Bielefeld. The meetup is aimed at people who are interested in functional programming. FunctionalOWL wants to provide a wide range of interesting topics and opportunities to share an

[Haskell] ANN: GHC-7.4.2-Eden - Parallel Haskell on multicore and cluster systems

2012-06-16 Thread Eden - Functional parallel Programming (Mischa Dieterle)
We are happy to announce a new release of Eden, a parallel extension of Haskell. The release comprises: * The GHC-7.4.2-Eden compiler: GHC-7.4.2 extended with the Eden parallel runtime system. * The Eden modules: a library defining the Eden language constructs. * The Eden skeleton library: a compr

Re: [Haskell] ANNOUNCE: set-monad

2012-06-16 Thread Dan Burton
Convenience aside, doesn't the functor instance conceptually violate some sort of law? fmap (const 1) someSet The entire shape of the set changes. fmap (g . h) = fmap g . fmap h This law wouldn't hold given the following contrived ord instance data Foo = Foo { a, b :: Int } instance Ord Foo wh