[Haskell-cafe] Re: hamming distance allocation

2010-04-21 Thread Heinrich Apfelmus
Arnoldo Muller wrote: I believe these problems are one of the major sources of frustration for Haskell newbies. Things that could work in X language easily suddenly become problems in Haskell. When you overcome these issues then you feel happy again that you chose Haskell as the main

Re: [Haskell-cafe] Re: Re: instance Eq (a - b)

2010-04-21 Thread Max Rabkin
On Wed, Apr 21, 2010 at 1:44 AM, Edward Kmett ekm...@gmail.com wrote: Eq doesn't state anywhere that the instances should be structural, though in general where possible it is a good idea, since you don't have to worry about whether or not functions respect your choice of setoid. Wikipedia's

Re: [Haskell-cafe] ANN: forkable-monad 0.1

2010-04-21 Thread Limestraël
Nice initiative! By the way, since this is a monad, I think a better place than Control.Concurrent.Forkable would be Control.Monad.Forkable. It's just a suggestion. 2010/4/21 David Anderson d...@natulte.net Dear Haskellers, I'm happy, and only slightly intimidated, to announce the initial

Re: [Haskell-cafe] ANN: forkable-monad 0.1

2010-04-21 Thread Neil Brown
Hi, This is quite a neat generalisation of forkIO, and something I've wanted in the past. My comment would be about the MonadIO m requirement for ForkableMonad. I understand that conceptually it's a nice thing to have. But practically, I don't think it's necessary, and could be a little

Re: [Haskell-cafe] Re: Re: instance Eq (a - b)

2010-04-21 Thread Edward Kmett
On Wed, Apr 21, 2010 at 5:25 AM, Max Rabkin max.rab...@gmail.com wrote: On Wed, Apr 21, 2010 at 1:44 AM, Edward Kmett ekm...@gmail.com wrote: Eq doesn't state anywhere that the instances should be structural, though in general where possible it is a good idea, since you don't have to worry

[Haskell-cafe] Re: ANN: forkable-monad 0.1

2010-04-21 Thread Heinrich Apfelmus
David Anderson wrote: Dear Haskellers, I'm happy, and only slightly intimidated, to announce the initial release of forkable-monad. The short version is that forkable-monad exports a replacement forkIO that lets you do this: type MyMonad = ReaderT Config (StateT Ctx IO) startThread

[Haskell-cafe] ANN: scan-0.1.0.4, a style scanner for Haskell sources

2010-04-21 Thread Christian Maeder
I think, I've addressed the points made by Henning and Sebastian. (Don't forget to cabal update.) Cheers Christian Dear Haskell friends, I like to announce a Haskell style scanner at http://hackage.haskell.org/package/scan documented under http://projects.haskell.org/style-scanner/

Re: [Haskell-cafe] Bulk Synchronous Parallel

2010-04-21 Thread Gregory Crosswhite
You know, I looked into Erlang, and while it looks intriguing it isn't great for my purposes because I want to be able to call Fortran routines to do the heavy number-crunching, and Erlang doesn't have a good standard FFI like Haskell. Also, I really don't want to use a dynamically typed

Re: [Haskell-cafe] Bulk Synchronous Parallel

2010-04-21 Thread Aaron D. Ball
On Tue, Apr 20, 2010 at 14:05, Jason Dusek jason.du...@gmail.com wrote: One approach is some compiler magic that provides you with an RTS that can communicate with other RTSen over TCP and chunks the computation appropriately. The approaches to Haskell multi-host parallelism I've seen all

Re: [Haskell-cafe] Bulk Synchronous Parallel

2010-04-21 Thread Don Stewart
aarondball+haskell: On Tue, Apr 20, 2010 at 14:05, Jason Dusek jason.du...@gmail.com wrote: One approach is some compiler magic that provides you with an RTS that can communicate with other RTSen over TCP and chunks the computation appropriately. The approaches to Haskell multi-host

Re: [Haskell-cafe] Bulk Synchronous Parallel

2010-04-21 Thread Aaron D. Ball
On Wed, Apr 21, 2010 at 14:14, Don Stewart d...@galois.com wrote: Eden is active, afaik,    http://www.mathematik.uni-marburg.de/~eden/ Unfortunately, Eden is one of the examples I had in mind when referring to distributed Haskell projects as overly complicated and [for practical purposes]

Re: [Haskell-cafe] Re: Asynchronous exception wormholes kill modularity

2010-04-21 Thread Bas van Dijk
On Tue, Apr 20, 2010 at 12:56 PM, Simon Marlow marlo...@gmail.com wrote: On 09/04/2010 12:14, Bertram Felgenhauer wrote: Simon Marlow wrote: On 09/04/2010 09:40, Bertram Felgenhauer wrote:      timeout t io = mask $ \restore -  do          result- newEmptyMVar          tid- forkIO $

Re: [Haskell-cafe] Bulk Synchronous Parallel

2010-04-21 Thread Jason Dusek
2010/4/21 Aaron D. Ball aarondb...@gmail.com: I don't need a tool that automatically figures out how to distribute any workload in an intelligent way and handles all the communication for me. You are right in general. Only if you want to rely on purity and a few source code annotations to

Re: [Haskell-cafe] Bulk Synchronous Parallel

2010-04-21 Thread Bas van Dijk
On Wed, Apr 21, 2010 at 8:07 PM, Aaron D. Ball aarondball+hask...@gmail.com wrote: If I have the basic building block, which is the ability to serialize a Haskell expression with its dependencies and read them into another Haskell instance where I can evaluate them, I can handle the other

Re: [Haskell-cafe] Bulk Synchronous Parallel

2010-04-21 Thread Don Stewart
v.dijk.bas: On Wed, Apr 21, 2010 at 8:07 PM, Aaron D. Ball aarondball+hask...@gmail.com wrote: If I have the basic building block, which is the ability to serialize a Haskell expression with its dependencies and read them into another Haskell instance where I can evaluate them, I can

Re: [Haskell-cafe] ANNOUNCE: Agata-0.2.0

2010-04-21 Thread Neil Mitchell
Hi Jonas, As far as i can tell, derive only works for regular and linear recursive types and Regular uses frequencies to regulate size. (Also Regular doesn't seem to work for QuickCheck-2). Derive will generate instances for all types, but uses a fairly standard formulation (pick between each

[Haskell-cafe] ANN: GPipe-Collada - Collada for Haskell!

2010-04-21 Thread Tobias Bexelius
Hi, I've uploaded GPipe-Collada-0.1.0 to hackage (http://hackage.haskell.org/package/GPipe-Collada-0.1.0) that enables you to load Collada files to be used with GPipe. Check out Graphics.GPipe.Collada.Utils.viewScene for an example on how to use loaded Collada scenes

Re: [Haskell-cafe] ANN: forkable-monad 0.1

2010-04-21 Thread David Anderson
On Wed, Apr 21, 2010 at 4:09 PM, Limestraël limestr...@gmail.com wrote: Nice initiative! Thanks! By the way, since this is a monad, I think a better place than Control.Concurrent.Forkable would be Control.Monad.Forkable. It's just a suggestion. I'm not entirely happy with the location with

[Haskell-cafe] Philadelphia Haskell hackathon -- reduced hotel rate ends Friday April 23!

2010-04-21 Thread Brent Yorgey
There is still plenty of space to register [1] for Hac phi 2010, but time is running out to get a hotel room at a reduced rate --- if you want the special rate for the block of rooms we have reserved at the Club Quarters, you must contact the hotel by this Friday, April 23. Instructions are on the

[Haskell-cafe] FRP for game programming / artifical life simulation

2010-04-21 Thread Ben Christy
I have an interest in both game programming and artificial life. I have recently stumbled on Haskell and would like to take a stab at programming a simple game using FRP such as YAMPA or Reactive but I am stuck. I am not certain which one I should choose. It seems that Reactive is more active but

Re: [Haskell-cafe] ANN: forkable-monad 0.1

2010-04-21 Thread David Anderson
On Wed, Apr 21, 2010 at 4:39 PM, Neil Brown nc...@kent.ac.uk wrote: Hi, This is quite a neat generalisation of forkIO, and something I've wanted in the past. My comment would be about the MonadIO m requirement for ForkableMonad.  I understand that conceptually it's a nice thing to have.  

Re: [Haskell-cafe] Re: ANN: forkable-monad 0.1

2010-04-21 Thread David Anderson
[-haskell] On Wed, Apr 21, 2010 at 5:54 PM, Heinrich Apfelmus apfel...@quantentunnel.de wrote: David Anderson wrote: Dear Haskellers, I'm happy, and only slightly intimidated, to announce the initial release of forkable-monad. The short version is that forkable-monad exports a replacement

Re: [Haskell-cafe] FRP for game programming / artifical life simulation

2010-04-21 Thread Luke Palmer
On Wed, Apr 21, 2010 at 4:47 PM, Ben Christy ben.chri...@gmail.com wrote: I have an interest in both game programming and artificial life. I have recently stumbled on Haskell and would like to take a stab at programming a simple game using FRP such as YAMPA or Reactive but I am stuck. I am not

Re: [Haskell-cafe] Bulk Synchronous Parallel

2010-04-21 Thread Peter Gammie
On Thu, Apr 22, 2010 at 4:07 AM, Aaron D. Ball aarondball+hask...@gmail.com wrote: I don't need a tool that automatically figures out how to distribute any workload in an intelligent way and handles all the communication for me.  If I have the basic building block, which is the ability to

[Haskell-cafe] Adopting MissingPy?

2010-04-21 Thread John Goerzen
Hi folks, MissingPy is a library I wrote a little while back that allows you to call Python code from Haskell. It's on Hackage and, as far as I know, still works. Trouble is, the need I used to have for it is gone. So I no longer use it myself for anything, and thus it is starting to