Re: [Haskell-cafe] Observations from ListLike

2007-09-18 Thread Ketil Malde
On Mon, 2007-09-17 at 14:37 -0500, John Goerzen wrote: * It would be really nice if QuickCheck supported I/O and some version of HUnit's TestLabel to generate hierarchical names when failures occur. I've done this for testing IO (reading and writing files): prop_serialize (E s) =

Re: [Haskell-cafe] Building production stable software in Haskell

2007-09-18 Thread Ketil Malde
On Tue, 2007-09-18 at 01:11 +0100, Neil Mitchell wrote: DBM's can differentiate themselves on external database support, Surely this is an opportunity to focus development on a single library with broader support? Currently, we have HSQL and HDBC supplying incompatible low-level interfaces,

[Haskell-cafe] Library Process (was Building production stable software in Haskell)

2007-09-18 Thread Dominic Steinitz
This discussion has sparked a question in my mind: What is the process for the inclusion of modules / packages in ghc, hugs and other compilers interpreters? I thought the master plan was that less would come with the compiler / interpreter and the user would install packages using cabal. I

[Haskell-cafe] Re: Building production stable software in Haskell

2007-09-18 Thread apfelmus
Ketil Malde wrote: Neil Mitchell wrote: DBM's can differentiate themselves on external database support, Surely this is an opportunity to focus development on a single library with broader support? Currently, we have HSQL and HDBC supplying incompatible low-level interfaces, supporting a

RE: [Haskell-cafe] How can I stop GHCi from calling show for IO actions?

2007-09-18 Thread Simon Peyton-Jones
| -Original Message- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Sam | Hughes | Sent: 16 September 2007 04:53 | To: Ryan Ingram | Cc: haskell-cafe | Subject: Re: [Haskell-cafe] How can I stop GHCi from calling show for IO actions? | | Ryan Ingram wrote: | Prelude

[Haskell-cafe] Re: Israel Haskell Programmers

2007-09-18 Thread Alex Strugatsky
On 2007-09-16, B K [EMAIL PROTECTED] wrote: Hello, Are there any Haskell Hackers on this mailing list who live in Israel? I am interested in starting an Israel Haskell User Group. Hi, I'll be glad to join. Besides, I'll be glad to here from an Israel Haskell hacker who maybe interested in a

[Haskell-cafe] Re: Type-Marking finite/infinte lists?

2007-09-18 Thread apfelmus
Bas van Dijk wrote: Roberto Zunino wrote: data Z data S n data List a len where Nil :: List a Z Cons:: a - List a len - List a (S len) The other day I was playing with exactly this GADT. See: http://hpaste.org/2707 My aim was to define a function like 'concat' in terms of 'foldr'

Re: [Haskell-cafe] Library Process (was Building production stable software in Haskell)

2007-09-18 Thread Malcolm Wallace
Dominic Steinitz [EMAIL PROTECTED] wrote: I thought the master plan was that less would come with the compiler / interpreter and the user would install packages using cabal. Ideally, yes. I think a useful model would be GNU/Linux, where there is the Linux kernel, developed by core hackers,

Re: [Haskell-cafe] Observations from ListLike

2007-09-18 Thread Malcolm Wallace
John Goerzen [EMAIL PROTECTED] wrote: * Hugs programs that use cpphs can't use ByteString This bug in cpphs was fixed already, several days ago. * It would be really nice if QuickCheck supported I/O QuickCheckM gives you monadic test properties, as described in a Haskell Workshop 2002 paper.

Re: [Haskell-cafe] Library Process (was Building production stable software in Haskell)

2007-09-18 Thread Neil Mitchell
Hi What is the process for the inclusion of modules / packages in ghc, hugs and other compilers interpreters? Propose to have the packaged added. There is a very low chance of this being accepted. The only packages to have recently been added were FilePath and ByteString, both of which were

[Haskell-cafe] unique id for data types

2007-09-18 Thread Barney Hilken
In order to make my records system practically useable, I need a type family type family NameCmp n m which totally orders datatypes. More precisely, it should return one of the following types: data NameLT = NameLT data NameEQ = NameEQ data NameGT = NameGT for each pair

Re: [Haskell-cafe] Library Process (was Building production stable software in Haskell)

2007-09-18 Thread Adrian Hey
Neil Mitchell wrote: Hi What is the process for the inclusion of modules / packages in ghc, hugs and other compilers interpreters? Propose to have the packaged added. There is a very low chance of this being accepted. The only packages to have recently been added were FilePath and

[Haskell-cafe] Re: Building production stable software in Haskell

2007-09-18 Thread Simon Marlow
Adrian Hey wrote: Neil Mitchell wrote: Hi They are less stable and have less quality control. Surely you jest? I see no evidence of this, rather the contrary in fact. No, dead serious. The libraries have a library submission process. It does not follow that libraries that have not been

Re: [Haskell-cafe] Library Process (was Building production stable software in Haskell)

2007-09-18 Thread Ketil Malde
On Tue, 2007-09-18 at 11:14 +0100, Malcolm Wallace wrote: I would like to see the same separation forming between the ghc compiler itself (which would minimally include only the small number of libraries needed to build the compiler), and larger distributions which would be maintained by

Re: [Haskell-cafe] Library Process (was Building production stable software in Haskell)

2007-09-18 Thread Neil Mitchell
Hi I think there is a niche for a subset of the hackage libraries providing an officially sanctioned standard library collection. Currently, hackage includes, well, everything. As such, it is a useful resource, but it would be useful to have a partitioning into two levels, where the SLC

Re: [Haskell-cafe] How can I stop GHCi from calling show for IOactions?

2007-09-18 Thread Claus Reinke
| It seems that GHCi outputs the contents of the variable you've created | when there's only one of them. Indeed, that is documented behaviour (first bullet here: http://www.haskell.org/ghc/docs/latest/html/users_guide/ch03s04.html#ghci-stmts ) Perhaps it's confusing behaviour? If so do suggest

Re: [Haskell-cafe] Library Process (was Building productionstable software in Haskell)

2007-09-18 Thread Claus Reinke
I thought the master plan was that less would come with the compiler / interpreter and the user would install packages using cabal. Ideally, yes. I think a useful model would be GNU/Linux, where there is the Linux kernel, developed by core hackers, and then there are distributions, which

Re: [Haskell-cafe] unique id for data types

2007-09-18 Thread Neil Mitchell
Hi Barney, This may be of interest, since all types already have an Int associated with them: http://haskell.org/ghc/docs/latest/html/libraries/base/Data-Typeable.html#v%3AtypeRepKey Thanks Neil On 9/18/07, Barney Hilken [EMAIL PROTECTED] wrote: In order to make my records system

Re: [Haskell-cafe] Re: Building production stable software in Haskell

2007-09-18 Thread Arthur van Leeuwen
On 18-sep-2007, at 14:10, Simon Marlow wrote: Adrian Hey wrote: Neil Mitchell wrote: Hi They are less stable and have less quality control. Surely you jest? I see no evidence of this, rather the contrary in fact. No, dead serious. The libraries have a library submission process. It

Re: [Haskell-cafe] unique id for data types

2007-09-18 Thread Barney Hilken
Hi Neil, thanks for the response. The problem is this: It is in the IO monad because the actual value of the key may vary from run to run of the program (taken from the web page). Since I'm relying on the order, not just equality, this will seriously screw things up, because my records are

[Haskell-cafe] Re: [Haskell] Blocked STM GC question

2007-09-18 Thread Jules Bean
Simon Marlow wrote: Ashley Yakeley wrote: If I have a thread that's blocked on an STM retry or TChan read, and none of its TVars are referenced elsewhere, will it get stopped and garbage-collected? I have in mind a pump thread that eternally reads off a TChan and pushes the result to some

[Haskell-cafe] Re: [Haskell] Blocked STM GC question

2007-09-18 Thread Simon Marlow
Jules Bean wrote: Simon Marlow wrote: Ashley Yakeley wrote: If I have a thread that's blocked on an STM retry or TChan read, and none of its TVars are referenced elsewhere, will it get stopped and garbage-collected? I have in mind a pump thread that eternally reads off a TChan and pushes

[Haskell-cafe] Re: [Haskell] Swapping parameters and type classes

2007-09-18 Thread Simon Marlow
Ian Lynagh wrote: On Tue, Sep 18, 2007 at 03:48:06PM +0100, Andrzej Jaworski wrote: Responding to Simon Peyton-Jones' reminder that this is a low-bandwidth list I was obscure and commited a blunder. This one and many other threads here are started undoubtedly by experts [sorry guys:-)] and

[Haskell-cafe] transparent parallelization

2007-09-18 Thread Thomas Girod
Hi there. Beeing rather new to the realm of Haskell and functional programming, I've been reading about how is easier it is to parallelize code in a purely functional language (am I right saying that ?). My knowledge of parallelization is also very weak, but I've been thinking about this and I

Re: [Haskell-cafe] Re: Type-Marking finite/infinte lists?

2007-09-18 Thread Bas van Dijk
On 9/18/07, apfelmus [EMAIL PROTECTED] wrote: ...in reality, foldr is (almost) the induction principle for natural numbers! Oh yes, nice observation! Afpelmus, thanks for your thorough answers! regards, Bas ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Building production stable software in Haskell

2007-09-18 Thread brad clawsie
On Mon, Sep 17, 2007 at 05:26:05PM +0100, Neil Mitchell wrote: Compare me changing my tagsoup library, to me changing my filepath library which comes bundled with GHC. I can do anything I want to the tagsoup library, but I need to wait at least 2 weeks and get general consensus before changing

Re: [Haskell-cafe] Building production stable software in Haskell

2007-09-18 Thread Neil Mitchell
Hi okay, but this fails in some cases. i wrote a package to obtain financial quotes. yahoo changed the webservice url on me. i rolled out a change within a day. in your model, people suffer a broken service for two weeks. I don't think Yahoo will change the syntax or semantics of filepaths

[Haskell-cafe] Re: [Haskell] Swapping parameters and type classes

2007-09-18 Thread Andrzej Jaworski
Salute Simon, hi everybody here! Ian is scientific in his observations and has a valid point. I share his objection to the Haskell list as unnecessarily misleading newcomers which, I would add, sets precedents for others to be verbose. Then, creating a Beginner list is less fortunate than

Re: [Haskell-cafe] yi-gtk

2007-09-18 Thread Andrea Rossato
On Tue, Sep 18, 2007 at 09:20:44AM +0800, clisper wrote: who knows how to compile yi-gtk? i tried,but it told me mine miss gtk. probably what you need is gtk2hs: http://haskell.org/gtk2hs/ andrea ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Building production stable software in Haskell

2007-09-18 Thread Don Stewart
hughperkins: Just out of curiosity, how could one do something like a factory, so that by default a library uses, say, Data.Map, but by making a simple assignment we can switch the library to use a different implementation? Polymorphism, specifically, typeclasses, would be one option here.

Re: [Haskell-cafe] Library Process (was Building production stable software in Haskell)

2007-09-18 Thread Thomas Hartman
Instead, I think several people should make their own personal list of libraries they would vouch for Ideally along with a cabal (or otherwise) install script that would set everything up in one step. Neil Mitchell [EMAIL PROTECTED] Sent by: [EMAIL PROTECTED] 09/18/2007 09:02 AM To

Re: [Haskell-cafe] Library Process (was Building production stable software in Haskell)

2007-09-18 Thread Sven Panne
On Tuesday 18 September 2007 09:44, Dominic Steinitz wrote: This discussion has sparked a question in my mind: What is the process for the inclusion of modules / packages in ghc, hugs and other compilers interpreters? Personal interest of the people working on GHC et. al. ;-) I thought the

Re: [Haskell-cafe] transparent parallelization

2007-09-18 Thread Thomas Schilling
On Tue, 2007-09-18 at 18:13 +0200, Thomas Girod wrote: Hi there. Beeing rather new to the realm of Haskell and functional programming, I've been reading about how is easier it is to parallelize code in a purely functional language (am I right saying that ?). My knowledge of parallelization

Re: [Haskell-cafe] Library Process (was Building production stable software in Haskell)

2007-09-18 Thread brad clawsie
On Tue, Sep 18, 2007 at 07:24:08PM +0200, Sven Panne wrote: Although this statement might be a bit heretical on this list, I'll have to repeat myself again that Cabal, cabal-install, cabal-whatever will *never* be the right tool for the end user to install Haskell packages on platforms with

RE: [Haskell-cafe] transparent parallelization

2007-09-18 Thread bf3
http://haskell.org/haskellwiki/GHC/Data_Parallel_Haskell Wow this is cool stuff! It would be nice to have something like this for the Playstation 3 :-) Regarding parallelism, I wander how this extension will compare to Sun's Fortress language, if/when it gets finally released. Peter

Re: [Haskell-cafe] transparent parallelization

2007-09-18 Thread Dave Tapley
If I recall correctly a rather neat way of exploiting this property of qsort is exploited with Nested Data Parallelism and covered in this talk: http://www.londonhug.net/2007/05/25/video-of-spjs-talk-is-now-online/ Good food for thought :) Dave, On 18/09/2007, Thomas Girod [EMAIL PROTECTED]

Re: [Haskell-cafe] transparent parallelization

2007-09-18 Thread Jan-Willem Maessen
On Sep 18, 2007, at 4:24 PM, [EMAIL PROTECTED] [EMAIL PROTECTED] wrote: http://haskell.org/haskellwiki/GHC/Data_Parallel_Haskell Wow this is cool stuff! It would be nice to have something like this for the Playstation 3 :-) Regarding parallelism, I wander how this extension will compare

Re: [Haskell-cafe] transparent parallelization

2007-09-18 Thread Derek Elkins
On Tue, 2007-09-18 at 18:13 +0200, Thomas Girod wrote: Hi there. Beeing rather new to the realm of Haskell and functional programming, I've been reading about how is easier it is to parallelize code in a purely functional language (am I right saying that ?). My knowledge of parallelization

[Haskell-cafe] ANN: hstats-0.1

2007-09-18 Thread Marshall Beddoe
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/hstats-0.1 I've just released hstats, a statistical computing module for the Haskell language. Current functionality includes: mean, median, mode, range, standard/average deviation, variance, iqr, kurtosis, skew, covariance, and

[Haskell-cafe] Missing Symbol

2007-09-18 Thread PR Stanley
Hi What symbol would you replace the ? with: the identity function id x = x? My scanned copy of the Hutton book contains some rather interesting characters. In fact, the OCR program has placed a . in place of most symbols - e.g. -, - ^, =, \=, etc. Fortunately, I'm able to guess the correct

Re: [Haskell-cafe] Missing Symbol

2007-09-18 Thread PR Stanley
Hi What symbol would you replace the ? with: the identity function id x = x? I don't think I'd have anything where the ? symbol is. id x = x works just fine. Ah, that's interesting because there's a . to the right of x in my scanned doc. Still, if no symbol is necessary, so much