Yes, I can convince other people that `pipes` is the right abstraction for streaming and to include it in the Haskell platform. I also plan to get `pipes-concurrency` in, too. I have no plans at the moment to get `pipes-parse` (because of the `free` dependency) or `pipes-safe` (because it's not a very elegant library) into the platform.

I think you and Andrew are focusing too much on just the Haskell Platform argument. I made several other arguments, all of which I believe outweigh the benefits of using the `void` package.

Note that I'm not a dependency Nazi. For example, I depend on `free` for `pipes-parse` because the benefits of using it currently outweigh the costs. I just can't say the same for `void`.

On 01/24/2014 05:54 AM, Oliver Charles wrote:

Not only that, but what are your feelings on this library making the platform? I don't mean that in a nasty way, but after watching the effort to just get packages bumped by a version, the chance of one streaming library (out of a pool of many viable contenders) making it into the platform appears to be a very tough battle. Judging by your stance on void you presumably think that battle is winnable.

So i stand with Andrew - this only makes sense if you both believe in the platform and in your library joining it. Of course, you've convinced me pipes is the right abstraction - but do you truly believe you can convince everyone else? (Honest question)

In terms of void, I don't really mind. Of course, my preference is to stick with void - its practically impossible to write anything without eventually depending on it or its dependencies these days. But I have no need to actually touch this type, so I don't mind either way.

--
You received this message because you are subscribed to the Google Groups "Haskell Pipes" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].
To post to this group, send email to [email protected].

--
You received this message because you are subscribed to the Google Groups "Haskell 
Pipes" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].

Reply via email to