Re: [Haskell-cafe] Mailing lists on projects.haskell.org

2011-01-18 Thread John Lato
Message: 10 Date: Tue, 18 Jan 2011 09:53:42 +1100 From: Erik de Castro Lopo mle...@mega-nerd.com mle%2...@mega-nerd.com Subject: Re: [Haskell-cafe] Mailing lists on projects.haskell.org? To: haskell-cafe@haskell.org Cc: hask...@haskell.org Message-ID:

Re: [Haskell-cafe] HDBC, postgresql, bytestrings and embedded NULLs

2011-01-18 Thread John Lato
From: Michael Snoyman mich...@snoyman.com I took a quick look at the enumerators library, but it doesn't seem to have the necessary support for handling data that comes from arbitrary C API function calls rather than handles or sockets. It does support this, for prior art see yaml[1]

Re: [Haskell-cafe] Mailing lists on projects.haskell.org

2011-01-18 Thread Henning Thielemann
On Tue, 18 Jan 2011, John Lato wrote: In case anyone was replying off-list, could you please cc me as well?  I believe this is the cause of problems with the iteratee list (which Maciej just mentioned) as well.  Although the problem does seem intermittent. My messages to haskell-llvm are

[Haskell-cafe] multiple instances or contexts?

2011-01-18 Thread John Lato
Hello, This post is (hopefully) literate Haskell. I recently noticed that there are two ways to specify instances in a common situation. Suppose I have something like this: {-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, NoMonomorphismRestriction, OverlappingInstances #-} data A = A

Re: [Haskell-cafe] A question about monad based on http://en.wikipedia.org/wiki/Monad_(category_theory)

2011-01-18 Thread Brent Yorgey
On Tue, Jan 18, 2011 at 09:16:06AM +0530, C K Kashyap wrote: Hi, I was going through http://en.wikipedia.org/wiki/Monad_(category_theory) - under Formal Definition I notice that monad is a Functor T:C - C My question is - when we think of Maybe as a functor T:C - C should we think that

Re: [Haskell-cafe] Template Haskell a Permanent solution?

2011-01-18 Thread Ian Lynagh
On Tue, Jan 04, 2011 at 04:15:07PM +0100, Christian Maeder wrote: Am 04.01.2011 15:48, schrieb Henning Thielemann: Christian Maeder schrieb: Am 27.12.2010 08:44, schrieb Henning Thielemann: On Mon, 27 Dec 2010, Jonathan Geddes wrote: #2 Provide instances automatically.

Re: [Haskell-cafe] A question about monad laws

2011-01-18 Thread Sebastian Fischer
Hi Kashyap, Could someone please help me get a better understanding of the necessity of monads complying with these laws? Maybe it helps to write them in do-notation. Once written like this, it becomes clear(er?) that do-notation would be much less intuitive if the laws would not hold: Left

Re: [Haskell-cafe] web-routes and forms

2011-01-18 Thread Jeremy Shaw
Hello, trhsx will be installed in ~/.cabal/bin, so you will need to add that to your PATH. In order to use the demo code I provided you would need the latest happstack from darcs because it contains a few differences in the API. The code can be made to work with what is on hackage though. The

Re: [Haskell-cafe] Mailing lists on projects.haskell.org

2011-01-18 Thread Yitzchak Gale
Hi, Sorry, I haven't been reading the cafe for a few days, so I just saw this thread. Erik de Castro Lopo wrote: I tried sending mail to the haskell-llvm mailing list ( AT projects.haskell.org) several days ago and today I received a bounce message. Looking into the issue a little

Re: [Haskell-cafe] Building lambdabot

2011-01-18 Thread Joe Bruce
Wow, it sure has taken me a long time to get back to this, but I got it to work! Two ways actually. I did them both from scratch, just to make sure I understood what was going on and could communicate it for the next poor sap that is as ignorant as I was. All this is done with GHC-6.12.3,

Re: [Haskell-cafe] Mailing lists on projects.haskell.org

2011-01-18 Thread Erik de Castro Lopo
Yitzchak Gale wrote: Thanks for this report. I have restarted exim, but it is still not responding. I'll bring it up with other haskell.org domain admins and see if we can get this fixed. It would also be a good idea to get the support email for projects.haskell.org moved to a domain other

Re: [Haskell-cafe] Building lambdabot

2011-01-18 Thread Max Bolingbroke
On 18 January 2011 19:32, Joe Bruce bruce.jo...@gmail.com wrote: I did them both from scratch, just to make sure I understood what was going on and could communicate it for the next poor sap that is as ignorant as I was. Congratulations :-) Should/can I update the haskellwiki with this

Re: [Haskell-cafe] HDBC, postgresql, bytestrings and embedded NULLs

2011-01-18 Thread Michael Snoyman
On Tue, Jan 18, 2011 at 1:17 PM, John Lato jwl...@gmail.com wrote: From: Michael Snoyman mich...@snoyman.com I took a quick look at the enumerators library, but it doesn't seem to have the necessary support for handling data that comes from arbitrary C API function calls rather than

Re: [Haskell-cafe] ANN: extcore 1.0

2011-01-18 Thread Tim Chevalier
On Sun, Jan 16, 2011 at 9:32 AM, Permjacov Evgeniy permea...@gmail.com wrote: On 01/13/2011 10:45 PM, Tim Chevalier wrote: Hello, I've recently released version 1.0 of extcore, a library for processing code in GHC's text-based External Core format. extcore includes a parser, prettyprinter,

Re: [Haskell-cafe] H98, OOHaskell - getting started with objects in Haskell

2011-01-18 Thread gutti
Thanks to all of You, I think I learnt really a lot just on this thread about Haskell and also OO in general. I fear I'm too busy in the near future to come up with a good example and some more questions. Might happen later, because this topic is really interesting. Till then -- Thanks

[Haskell-cafe] Merging SMT solving and programming languages: two EDSLs for SMT in Haskell

2011-01-18 Thread Don Stewart
Hey all, For a while now, Galois has been interested in connecting automated solvers to our programming language of choice, Haskell, to make it possible to prove automatically some properties of our functions (rather than just testing, e.g. with QuickCheck). We've pushed two efforts out this

[Haskell-cafe] Building Haskell Platform on PowerPC?

2011-01-18 Thread Tim Chevalier
Hello, For reference, I'm wondering whether there's an easier way to build the current version of the Haskell Platform on a PowerPC Mac running Mac OS 10.5.8 than the way in which I documented at: http://tim.dreamwidth.org/1715938.html I was installing the platform from scratch as a favor for a

Re: [Haskell-cafe] A question about monad based on http://en.wikipedia.org/wiki/Monad_(category_theory)

2011-01-18 Thread C K Kashyap
Thank you very much Brent, My question is - when we think of Maybe as a functor T:C - C should we think that C here refers to Hakell types? As in, (Int and Maybe Int are objects in C) and (Int - Int and Maybe Int - Maybe Int are arrows in C) and T is an arrow between them. Is that

Re: [Haskell-cafe] A question about monad laws

2011-01-18 Thread C K Kashyap
Thank you very much Sebastian, The example did make it clearer. I can see now that monads obeying the laws is what lets the 'do' notation work on all monads in a consistent manner. Regards, Kashyap ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org