[Haskell] haskell logo for webmasters

2005-10-31 Thread xah lee
i created two haskell logos for websites to spread Haskell. http://xahlee.org/haskell/haskell-logo.html it's in public domain. suggestions welcome. Thanks. Xah [EMAIL PROTECTED] ∑ http://xahlee.org/ ☄ ___ Haskell mailing list Haskell@haskell.o

Re: [Haskell] Monads vs. continuations

2005-10-31 Thread Gregory Woodhouse
On Oct 31, 2005, at 9:37 AM, Ben Rudiak-Gould wrote: I don't know if this helps, but there's a straightforward way to understand the IO monad in terms of continuation passing. You can think of a value of type IO a as being a CPS expression with a hole in it; the hole is to be filled with a

Re: [Haskell] Monads vs. continuations

2005-10-31 Thread Gregory Woodhouse
On Oct 31, 2005, at 3:02 AM, Cale Gibbard wrote: Perhaps you're referring to a monoid. Since you seem to have some familiarity with category theory, check out http://en.wikipedia.org/wiki/Monad_%28category_theory%29 for a formal definition of monads and some background. Translating between nota

Re: [Haskell] Monads vs. continuations

2005-10-31 Thread Ben Rudiak-Gould
I don't know if this helps, but there's a straightforward way to understand the IO monad in terms of continuation passing. You can think of a value of type IO a as being a CPS expression with a hole in it; the hole is to be filled with a continuation which expects a value of type a. The only w

Re: [Haskell] Monads vs. continuations

2005-10-31 Thread Cale Gibbard
On 31/10/05, Gregory Woodhouse <[EMAIL PROTECTED]> wrote: > Newbie alert: > > I have some superficial familiarity with continuations as they occur > in traditional denotational semantics, but certainly not a deep > understanding. I also have a special interest in distributed and/or > concurrent pro

Re: [Haskell] Writing large n-dim un-boxed array of Int32 quickly?

2005-10-31 Thread Rene de Visser
From: Bulat Ziganshin <[EMAIL PROTECTED]> Hello Rene, Monday, October 31, 2005, 11:13:30 AM, you wrote: RdV> I want to write a multi-dimensional unboxed arrary of Int32 to a file. (And RdV> also read it back later). how about fileWriteBuf/fileReadBuf? Hello Bulat, How does this work? (is th

Re: [Haskell] Writing large n-dim un-boxed array of Int32 quickly?

2005-10-31 Thread Rene de Visser
From: Ketil Malde <[EMAIL PROTECTED]> Rene de Visser wrote: I want to write a multi-dimensional unboxed arrary of Int32 to a file. (And also read it back later). hGetArray/hPutArray? To do this I need to cast my 5 dimensional array to a 1 dimensional array? Does this work? i.e. how do I know

Re: [Haskell] Writing large n-dim un-boxed array of Int32 quickly?

2005-10-31 Thread Bulat Ziganshin
Hello Rene, Monday, October 31, 2005, 11:13:30 AM, you wrote: RdV> Hello, RdV> I want to write a multi-dimensional unboxed arrary of Int32 to a file. (And RdV> also read it back later). how about fileWriteBuf/fileReadBuf? -- Best regards, Bulatmailto:[EMAIL PROT

[Haskell] FM'06 Announcement and Call for Submissions

2005-10-31 Thread events-admin
FM'06: 14TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS 21 - 27 August 2006 McMaster University, Hamilton, Ontario, Canada http://fm06.mcmaster.ca/ ANNOUNCEMENT AND CALL FOR SUBMISSIONS FM'06 is

Re: [Haskell] Writing large n-dim un-boxed array of Int32 quickly?

2005-10-31 Thread Ketil Malde
Rene de Visser wrote: I want to write a multi-dimensional unboxed arrary of Int32 to a file. (And also read it back later). hGetArray/hPutArray? -k ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell

[Haskell] Writing large n-dim un-boxed array of Int32 quickly?

2005-10-31 Thread Rene de Visser
Hello, I want to write a multi-dimensional unboxed arrary of Int32 to a file. (And also read it back later). What I tried so far is import NewBinary.Binary ... mapM_ (put bin) $ elems array ... but this was exceedlying slow. The array contains about 10 000 000 entries. Any suggestions? Ren