Re: [Haskell-cafe] an array of pointers in FFI?

2008-07-31 Thread Galchin, Vasili
Thanks Bulat! So since we are "talking" ;^) is there a function already in Foreign that will allow me to ... [a] -> Ptr (Ptr ()) i.e. map a list of type "a" to an array of ptrs of type "a"? Kind regards, Vasili On Fri, Aug 1, 2008 at 12:53 AM, Bulat Ziganshin <[EMAIL PROTECTED]>wrote: > He

Re: [Haskell-cafe] an array of pointers in FFI?

2008-07-31 Thread Bulat Ziganshin
Hello Vasili, Friday, August 1, 2008, 9:08:05 AM, you wrote: > Is a (Ptr (Ptr a)) a polymorphic representation of an array of > pointers of type "a"? I want to pass an array of pointers to a C function. use Ptr (Ptr ()) Ptr () in haskell is like void* in C, it's used to represent pointer

[Haskell-cafe] category theory tutorial pdfs .....

2008-07-31 Thread Galchin, Vasili
Hello, Prof. Harold Simmons' tutorial IMO are like a Russian matroshka doll ... first layer is for newbie ... inner layers require more sophistication. IMO a very subtle writer ... I have every book imaginable on cat theory and topos theory so I think can compare a little. 1) http://ww

[Haskell-cafe] an array of pointers in FFI?

2008-07-31 Thread Galchin, Vasili
Hello, Is a (Ptr (Ptr a)) a polymorphic representation of an array of pointers of type "a"? I want to pass an array of pointers to a C function. Kind regards, Vasili ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mail

Re: [Haskell-cafe] Exceptions

2008-07-31 Thread Henning Thielemann
On Sun, 27 Jul 2008, Adrian Neumann wrote: > Hello, > > I think it'd be nice if the compiler could warn me if there are any > exceptions which I'm not catching, similar to checked exceptions in > Java. Does anyone know of a possibility to do that in Haskell? Please refer to the long "extensible

Re: [Haskell-cafe] Point-free style in guards

2008-07-31 Thread Henning Thielemann
On Tue, 22 Jul 2008, L29Ah wrote: > outStanza | (isMessage) = outMessage > | (isPresence) = outPresence > | (isIQ) = outIQ > > Why such a style doesn't work, so I must write ugly code like that: > > outStanza a | (isMessage a) = outMessage a > | (isPresence a)

Re: [Haskell-cafe] array fusion interface

2008-07-31 Thread Henning Thielemann
On Tue, 22 Jul 2008, Evan Laforge wrote: > With all the noise lately about high performance array libraries with > list-like interfaces, such as bytestring, storablevector, uvector, and > vector, I thought I would try to make use of one in a project of mine, > and I'm either bumping up against th

Re: [Haskell-cafe] message-passing IPC for Haskell?

2008-07-31 Thread Thomas M. DuBuisson
> I have seen postings about work on message-passing IPCs for > Haskell. I like STM but want to keep an open mind ... I can't find > those postings. Can something remind of this work and where/how I can > read about? I made a quick hack composing BSD sockets from Network.Socket for higher le

[Haskell-cafe] Haskell Weekly News: Issue 79 - July 31, 2008

2008-07-31 Thread Brent Yorgey
--- Haskell Weekly News http://sequence.complete.org/hwn/20080731 Issue 79 - July 31, 2008 --- Welcome to issue 79 of HWN, a newsletter covering

Re: [Haskell-cafe] Network.FastCGI does not emit stderr outputs to lighttpd's error.log?

2008-07-31 Thread Don Stewart
agentzh: > On Thu, Jul 31, 2008 at 1:56 AM, Don Stewart <[EMAIL PROTECTED]> wrote: > > > > We've had no problems with this and apache at least. Is lighttpd > > doing something funny with error logging? > > It seems that Apache is doing something funny :) According to my > teammate chaoslawful, apa

Re: [Haskell-cafe] Re: www.haskell.org is currently very slow in responding to HTTP requests

2008-07-31 Thread Bryan O'Sullivan
On Wed, Jul 30, 2008 at 2:54 AM, Ashley Yakeley <[EMAIL PROTECTED]> wrote: > Other software versions: > > Linux 2.4.21 (latest is 2.6.26) > Apache 2.0.46 (latest is 2.2.9) > MySQL 3.23.58 (latest is 5.0.51a) > PHP 4.3.2 (latest is 5.2.6) > MediaWiki 1.5.4 (latest is 1.12) >

[Haskell-cafe] Re: Best book/tutorial on category theory and its applications

2008-07-31 Thread Dominic Steinitz
fero gmail.com> writes: > > What do you think about "Categories and Computer Science (Cambridge Computer > Science Texts)" at > http://www.amazon.com/Categories-Computer-Science-Cambridge- Texts/dp/0521422264/ref=si3_rdr_bb_product > ? > I couldn't see monads or the Yoneda lemma in the index.

Re: [Haskell-cafe] Network.FastCGI does not emit stderr outputs to lighttpd's error.log?

2008-07-31 Thread Agent Zhang
On Thu, Jul 31, 2008 at 1:56 AM, Don Stewart <[EMAIL PROTECTED]> wrote: > > We've had no problems with this and apache at least. Is lighttpd > doing something funny with error logging? It seems that Apache is doing something funny :) According to my teammate chaoslawful, apache redirects stderr to

Re: [Haskell-cafe] Using fundeps to resolve polymorphic types to concrete types

2008-07-31 Thread wren ng thornton
Ryan Ingram wrote: Hmm, I'm kind of confused by this now. I feel like the following code really should compile, but it doesn't. There's no use of existentials to hide type information at all. The functional dependency seems like it should give us the constraint (b1 ~ b2) allowing Refl to typec