Re: [Haskell-cafe] Category Theory Questions

2012-04-09 Thread Sergiu Ivanov
On Mon, Apr 9, 2012 at 9:47 AM, wren ng thornton wrote: > On 4/9/12 12:37 AM, Sergiu Ivanov wrote: >> >> I am currently studying category theory by the book Joy of Cats.  Are >> there any people whom I could ask some questions related to category >> theory from time to time?  Or could I just post

Re: [Haskell-cafe] building ghc on arch linux ARM?

2012-04-09 Thread Graham Klyne
On 09/04/2012 00:45, Joey Hess wrote: Thomas DuBuisson wrote: On Sun, Apr 8, 2012 at 4:03 PM, Francesco Mazzoli wrote: No, it is not possible to build GHC without GHC. Building GHC on ARM is going to be extremely tricky (I'm not sure anyone has ever done it). I used to use an unregistered bu

[Haskell-cafe] Guide for converting existing code to Conduit 0.4?

2012-04-09 Thread Erik de Castro Lopo
Hi all, Is there some sort of a guide for converting existing code Conduit 0.4? What happened to Control.Monad.Trans.Resource.with? What happens to stuff that used to to have a type "C.Source m a" which now seems to need type "C.Pipe Void a (ResourceT m) a"? Cheers, Erik -- ---

Re: [Haskell-cafe] Guide for converting existing code to Conduit 0.4?

2012-04-09 Thread Dmitry Olshansky
I transfered my code from 0.3 to 0.4 without any changes. There are type synonyms in Conduit for that. Changes were from 0.2 to 0.3. Michael discribed it here http://www.yesodweb.com/blog/2012/03/announcing-conduit-0-3 Actually, in 0.4 no changes with Control.Monad.Trans.Resource. type Source m

Re: [Haskell-cafe] Guide for converting existing code to Conduit 0.4?

2012-04-09 Thread Erik de Castro Lopo
Dmitry Olshansky wrote: > I transfered my code from 0.3 to 0.4 without any changes. There are type > synonyms in Conduit for that. > > Changes were from 0.2 to 0.3. Michael discribed it here > http://www.yesodweb.com/blog/2012/03/announcing-conduit-0-3 Ok, so Control.Monad.Trans.Resource.with ge

Re: [Haskell-cafe] Guide for converting existing code to Conduit 0.4?

2012-04-09 Thread Michael Snoyman
On Mon, Apr 9, 2012 at 12:58 PM, Erik de Castro Lopo wrote: > Hi all, > > Is there some sort of a guide for converting existing code Conduit 0.4? > > What happened to Control.Monad.Trans.Resource.with? > > What happens to stuff that used to to have a type "C.Source m a" which > now seems to need t

Re: [Haskell-cafe] Guide for converting existing code to Conduit 0.4?

2012-04-09 Thread Erik de Castro Lopo
Michael Snoyman wrote: > Hmm... I'd be surprised if you really need the Pipe signature that > you're providing. I'm not providing it, the compiler is suggesting it: Network/HTTP/Proxy.hs:835:47: Couldn't match expected type `ByteString' with actual type `()' Expected type: C.

Re: [Haskell-cafe] Guide for converting existing code to Conduit 0.4?

2012-04-09 Thread Michael Snoyman
On Mon, Apr 9, 2012 at 2:27 PM, Erik de Castro Lopo wrote: > Michael Snoyman wrote: > >> Hmm... I'd be surprised if you really need the Pipe signature that >> you're providing. > > I'm not providing it, the compiler is suggesting it: > >    Network/HTTP/Proxy.hs:835:47: >        Couldn't match exp

Re: [Haskell-cafe] Guide for converting existing code to Conduit 0.4?

2012-04-09 Thread Ivan Lazar Miljenovic
On 9 April 2012 21:34, Michael Snoyman wrote: > > It's caused by fmap. This is one of the downsides with the move to a > single type: I've been reading the various posts you've been making about Conduit, and this is something I still don't get: wasn't one of the original strengths you touted for

Re: [Haskell-cafe] Guide for converting existing code to Conduit 0.4?

2012-04-09 Thread Michael Snoyman
On Mon, Apr 9, 2012 at 2:37 PM, Ivan Lazar Miljenovic wrote: > On 9 April 2012 21:34, Michael Snoyman wrote: >> >> It's caused by fmap. This is one of the downsides with the move to a >> single type: > > I've been reading the various posts you've been making about Conduit, > and this is something

[Haskell-cafe] ANN: plugins-1.5.2.1

2012-04-09 Thread Jeremy Shaw
Hello! I am pleased to announce the release of plugins-1.5.2.1: http://hackage.haskell.org/package/plugins The plugins library provides facilities to compile and dynamically load/link Haskell code into a running Haskell application. (The related, plugins-auto package adds support for file watchi

Re: [Haskell-cafe] I Need a Better Functional Language!

2012-04-09 Thread Alexander Solla
On Thu, Apr 5, 2012 at 7:14 AM, Grigory Sarnitskiy wrote: > Hello! I've just realized that Haskell is no good for working with > functions! > > First, what are 'functions' we are interested at? It can't be the usual > set-theoretic definition, since it is not constructive. The constructive > defi

Re: [Haskell-cafe] ANN: plugins-1.5.2.1

2012-04-09 Thread Jeremy Shaw
Hello, I will update the description. The documentation is not on hackage yet because the haddock builder only runs a few times a day. That should correct itself in a few hours -- unless the build fails for some reason. However, the API has not changed from the previous version, so these docs are

[Haskell-cafe] ANNOUNCE: pipes-core 0.1.0

2012-04-09 Thread Paolo Capriotti
I'm pleased to announce the release of version 0.1.0 of pipes-core, a library for efficient, safe and compositional IO, similar in scope to iteratee and conduits. http://hackage.haskell.org/package/pipes-core This release fixes a mistake in the previous version which violated the category laws in

Re: [Haskell-cafe] I Need a Better Functional Language!

2012-04-09 Thread Ryan Ingram
A concurring opinion here, and an example. iff :: Bol -> a -> a -> a iff True x _ = x iff False _ x = x f, g :: Bool -> Bool f x = x g x = iff x True False Are these two functions equal? I would say yes, they are. Yet once you can pattern match on functions, you can easily tell these functions

Re: [Haskell-cafe] GHCi runtime linker: fatal error (was Installing REPA)

2012-04-09 Thread Ben Lippmeier
On 08/04/2012, at 2:41 AM, Dominic Steinitz wrote: >> Hi Ben, Chris and Others, >> >> Thanks for your replies and suggestions. All I want to do is invert (well >> solve actually) a tridiagonal matrix so upgrading ghc from the version that >> comes with the platform seems a bit overkill. I think

Re: [Haskell-cafe] building ghc on arch linux ARM?

2012-04-09 Thread Karel Gardas
On 04/ 9/12 01:03 AM, Francesco Mazzoli wrote: No, it is not possible to build GHC without GHC. Building GHC on ARM is going to be extremely tricky (I'm not sure anyone has ever done it). It's not that tricky at the end. Just install LLVM 3.0 and some OS supplied unregisterised GHC. Grab 7.4.1

Re: [Haskell-cafe] building ghc on arch linux ARM?

2012-04-09 Thread Karel Gardas
On 04/ 9/12 10:35 AM, Graham Klyne wrote: It ships with Debian, along with the full Haskell Platform built for ARM and lots of other libraries. Other than speed, it's fine. Hmmm... I wonder if it will squeeze onto a Raspberry Pi :) It should, if not report a bug since I regularly test on ARMv