[Haskell-cafe] Haskell Reddit

I'm not sure if the cafe@ knows this, but there's a bit of a Haskell community (1200+ subscribers) built up around the Haskell subreddit on reddit.com, http://www.reddit.com/r/haskell/ A good source for news other than what appears on Planet Haskell. -- Don P.S. Feel free to submit things y

Re: [Haskell-cafe] Hackage policy question

> The usual solution to this is the 'release version', which is used in > most (all?) other packaging systems. namely, you have foo-1.2-4, where 4 is > the > release version which documents what version the meta-info is. For > instance, when bugs are fixed in the rpm spec file or deb package that

Re: [Haskell-cafe] portable arrow instances

Could you add this info/link to the upgrading page? http://www.haskell.org/haskellwiki/Upgrading_packages#Arrow_instances>, Using social/community processes to parallelise the job of finding all the upgrade routes -- I like it :-) -- Don conal: >Hi Wolfgang, > >I use CPP to manage

Re: [Haskell-cafe] (OT) Has GHC stopped being the "Glorious" Glasgow Haskell Compiler?

It was and remains truly Glorious. -- Don DekuDekuplex: > IIRC, until very recently, the home page for GHC (see > http://www.haskell.org/ghc/index.html) listed the compiler name as > "The Glorious Glasgow Haskell Compiler." > > I wanted to write a blog entry using this aspect, but now the > adje

[Haskell-cafe] (OT) Has GHC stopped being the "Glorious" Glasgow Haskell Compiler?

IIRC, until very recently, the home page for GHC (see http://www.haskell.org/ghc/index.html) listed the compiler name as "The Glorious Glasgow Haskell Compiler." I wanted to write a blog entry using this aspect, but now the adjective "Glorious" seems to be missing. Am I missing something, or has

Re: [Haskell-cafe] Hackage policy question

The usual solution to this is the 'release version', which is used in most (all?) other packaging systems. namely, you have foo-1.2-4, where 4 is the release version which documents what version the meta-info is. For instance, when bugs are fixed in the rpm spec file or deb package that number is b

Re: [Haskell-cafe] portable arrow instances

Hi Wolfgang, I use CPP to manage such differences between 6.8, 6.9, and 6.10. As an example, see http://hackage.haskell.org/packages/archive/TypeCompose/latest/doc/html/src/Control-Compose.html. Regards, - Conal On Tue, Nov 18, 2008 at 6:01 AM, Wolfgang Jeltsch < [EMAIL PROTECTED]> wrote: > He

Re: [Haskell-cafe] streaming translation using monads

On Nov 19, 2008, at 12:19 PM, Justin Bailey wrote: On Wed, Nov 19, 2008 at 11:50 AM, Warren Harris <[EMAIL PROTECTED]> wrote: Now perhaps the in-memory list part was a bad conclusion since the queries can be decorated with translation functions capable of streaming the results out to anothe

Re: Fwd: [Haskell-cafe] implementing python-style dictionary in Haskell

On Tue, 2008-11-18 at 22:42 +0100, Alberto G. Corona wrote: > sorry, Dons, > > -- Forwarded message -- > From: Alberto G. Corona <[EMAIL PROTECTED]> > Date: 2008/11/18 > Subject: Re: [Haskell-cafe] implementing python-style dictionary in > Haskell > To: Don Stewart <[EMAIL PROTECTE

Re: [Haskell-cafe] GHC 6.10.1 and cabal[-install]

On Wed, 19 Nov 2008 21:27:36 Duncan Coutts wrote: > It's even easier than that! Someone has done it already :-) > > http://hackage.haskell.org/trac/hackage/ticket/261 > > Thu Aug 28 16:55:16 CEST 2008 Chry Cheng <[EMAIL PROTECTED]> > * Marking packages deprecated > Fixes ticket no. 261 as disc

[Haskell-cafe] Deprecated packages

Jason Dagit wrote: On Tue, Nov 18, 2008 at 2:03 PM, Jason Dagit <[EMAIL PROTECTED] > wrote: On Tue, Nov 18, 2008 at 2:00 PM, Andrew Coppin <[EMAIL PROTECTED] > wrote: Jason Dagit wrote: Will Hackage o

[Haskell-cafe] Re: streaming translation using monads

Warren Harris <[EMAIL PROTECTED]> wrote in article <[EMAIL PROTECTED]> in gmane.comp.lang.haskell.cafe: > However, the use of a > universal type for the values would still seem to be required since > there is no way to implement type-indexed values when the queries > themselves are expressed

Re: [Haskell-cafe] streaming translation using monads

On Wed, Nov 19, 2008 at 11:50 AM, Warren Harris <[EMAIL PROTECTED]> wrote: > Now perhaps the in-memory list part was a bad conclusion since the queries > can be decorated with translation functions capable of streaming the results > out to another channel. However, the use of a universal type for t

Re: [Haskell-cafe] streaming translation using monads

On Nov 19, 2008, at 9:11 AM, Justin Bailey wrote: On Tue, Nov 18, 2008 at 6:23 PM, Warren Harris <[EMAIL PROTECTED] > wrote: I am working on a query language translator, and although I feel that a monadic formulation would work well for this application, I've stumbled on a number of questio

Re: [Haskell-cafe] UArray Word16 Word32 uses twice as much memory as it should?

Bulat Ziganshin wrote: Hello Arne, Wednesday, November 19, 2008, 11:57:01 AM, you wrote: finding that it uses about twice as much memory as I had anticipated. Hello, and thank you for your reply. it may be 1) GC problem (due to GC haskell programs occupies 2-3x more memory than

[Haskell-cafe] Re: Monadic bind with associated types + PHOAS?

Ryan Ingram <[EMAIL PROTECTED]> wrote in article <[EMAIL PROTECTED]> in gmane.comp.lang.haskell.cafe: > I really like the syntax for do-notation. And I really like how great > Haskell is as writing embedded languages, a lot of which comes from > the "programmable semicolon" that monadic bind give

[Haskell-cafe] Re: Begginer question about alignment in Storable

If you are using hsc2hs (if you are using Cabal this is easy; just rename the file to *.hsc and Cabal will take care of the rest), then there is a macro for making this easier and so you don't have to think about it. (...) Well, after reading FFI addendum, I'm using my loyal text editor. Am I su

Re: [Haskell-cafe] streaming translation using monads

On Nov 18, 2008, at 6:53 PM, Brandon S. Allbery KF8NH wrote: On 2008 Nov 18, at 21:23, Warren Harris wrote: However, each of the clauses is actually an output routine to send the expression that it denotes to a remote server, and a parser for receiving the results. Since a clause is really

Re: [Haskell-cafe] Re: FFI and returning structs

Quoth Maurcio <[EMAIL PROTECTED]>: |> (...) Ironically, that's actually just what the original |> function is doing - cf. "struct return convention", where the |> caller allocates space and passes a pointer as a hidden |> parameter. (...) | | Can I be sure things always goes

Re: [Haskell-cafe] streaming translation using monads

On Tue, Nov 18, 2008 at 6:23 PM, Warren Harris <[EMAIL PROTECTED]> wrote: > I am working on a query language translator, and although I feel that a > monadic formulation would work well for this application, I've stumbled on a > number of questions and difficulties that I thought the knowledgeable

Re: [Haskell-cafe] UArray Word16 Word32 uses twice as much memory as it should?

Hello Arne, Wednesday, November 19, 2008, 11:57:01 AM, you wrote: > finding that it uses about twice as much memory as I had anticipated. it may be 1) GC problem (due to GC haskell programs occupies 2-3x more memory than actually used) 2) additional data (you not said how long each small array.

[Haskell-cafe] The Monad.Reader - Issue 12: SoC Special

I am pleased to announce that a new issue of The Monad.Reader is now available: http://www.haskell.org/haskellwiki/The_Monad.Reader Issue 12 is another Summer of Code special and consists of the following three articles: * Max Bolingbroke Compiler Development Made Easy * Roman C

[Haskell-cafe] Re: Automatic parallelism in Haskell, similar to "make -j4"?

Bulat Ziganshin wrote: Hello Chad, Wednesday, November 5, 2008, 6:34:01 AM, you wrote: ghc --make -j4 Foo.hs afair, it was implemented and not shown speed improvements. ask Simon We did get speed improvements, it was the main case study for the initial implementation of shared-memory para

[Haskell-cafe] Re: Can't figure out source of race condition when using System.Process

Rafal Kolanski wrote: Bryan O'Sullivan wrote: What is the "it" that segfaults? The Haskell program shouldn't, at least. The Haskell program. It does so rarely, however, and I'm unable to reproduce it with any consistency, only enough to notice something is wrong with what I've written. Upon

[Haskell-cafe] Re: FFI and returning structs

>> I have not found examples of this in documentation or hackage >> packages: how can I deal with funcions returning not pointers >> to structs but structs thenselves? >> >> struct example {... >> >> example function_name (... >> >> (...) > > (...) > > If it were my problem, I would try a

strict collections via types (was: [Haskell-cafe] implementing python-style dictionary in Haskell)

One problem is that Haskell collections are lazy by default. I'm aware of a few use cases where laziness lets you formulate a very elegant recursive population of a collection, but I think that in general, strictness is what you want, While I strongly agree with the gist of your post, I never

Re: [Haskell-cafe] Monadic bind with associated types + PHOAS?

On Wed, Nov 19, 2008 at 1:04 AM, Wouter Swierstra <[EMAIL PROTECTED]> wrote: > I'm not convinced yet. The problem is that there's no best way to handle > binding. HOAS is great for some things (you don't have to write > substitution), but annoying for others (optimisations or showing code). PHOAS

RE: [Haskell-cafe] Pattern matching on numbers?

Yes, fromInteger and == is used for pattern matching on numbers. However, on GHC you can use -XNoImplicitPrelude to make it use whatever fromInteger and == that's in scope (without any Num or Eq). Eg. if == is a method of MyEq class and fromInteger is a method of MyNum, and MyNum doesn't inherit M

Re: [Haskell-cafe] implementing python-style dictionary in Haskell

Tillmann Rendel <[EMAIL PROTECTED]> writes: > Why should a Haskell hash table need more memory then a Python hash > table? I've heard that Data.HashTable is bad, so maybe writing a good > one could be an option. One problem is that Haskell collections are lazy by default. I'm aware of a few use

Re: [Haskell-cafe] Cabal and more than one version

Duncan Coutts <[EMAIL PROTECTED]> wrote: > Jason Dusek wrote: > > In the ticket, someone says: > > > > True though I suspect it looks a bit weird to the > > uninitiated. We know to read the conditional syntax as an > > implication constraint which can be applied in either > > direction but I su

Re: [Haskell-cafe] GHC 6.10.1 and cabal[-install]

Am Dienstag, 18. November 2008 22:24 schrieben Sie: > > > How do I install and configure it so that it is integrated best with > > > GHC 6.10.1? For example, should cabal use some directory in the GHC > > > tree to place compiled packages in? > > The defaults for user or global should be fine. The

Re: [Haskell-cafe] FFI and returning structs

Quoth Maurcio <[EMAIL PROTECTED]>: | I have not found examples of this in documentation | or hackage packages: how can I deal with funcions | returning not pointers to structs but structs | thenselves? | | struct example {... | | example function_name (... | | My intuition said I could try a data

Re: [Haskell-cafe] Monadic bind with associated types + PHOAS?

Hi Ryan, On 19 Nov 2008, at 04:39, Ryan Ingram wrote: In HOAS, a lambda expression in the target language is represented by a function in the source language: data ExpE t where ApE :: ExpE (a -> b) -> ExpE a -> ExpE b LamE :: (ExpE a -> ExpE b) -> ExpE (a -> b) But without a way to ins

Re: [Haskell-cafe] Cabal and more than one version

On Tue, 2008-11-18 at 16:53 -0800, Jason Dusek wrote: > In the ticket, someone says: > > True though I suspect it looks a bit weird to the > uninitiated. We know to read the conditional syntax as an > implication constraint which can be applied in either > direction but I suspect m

[Haskell-cafe] UArray Word16 Word32 uses twice as much memory as it should?

Hello, I am having an issue with these unboxed arrays. I have some code that creates this structure:: (Array Word16 (UArray Int Word32), Array Word16 (UArray Int Word8)), and I am finding that it uses about twice as much memory as I had anticipated. This tuple is returned strict, and I think I hav

Re: [Haskell-cafe] GHC 6.10.1 and cabal[-install]

On Tue, 2008-11-18 at 13:56 -0800, Jason Dagit wrote: > > Will Hackage one day provide a way to discover that one > package has been superceeded by another? > > Currently you can see when a newer version of the exact same > package exists, but (for

Re: [Haskell-cafe] implementing python-style dictionary in Haskell

dave: > On Tue, Nov 18, 2008 at 3:52 PM, Don Stewart <[EMAIL PROTECTED]> wrote: > > dave: > >> 2008/11/18 kenny lu <[EMAIL PROTECTED]>: > >> > The above number shows that my implementations of python style dictionary > >> > are space/time in-efficient as compared to python. > >> > > >> > Can some o