Re: [Haskell-cafe] Re: [Haskell] ANN: Real World Haskell, now shipping

2008-11-26 Thread david48
Is it possible to order it from France yet ? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Re: [Haskell] ANN: Real World Haskell, now shipping

2008-11-26 Thread Don Stewart
dav.vire+haskell: Is it possible to order it from France yet ? http://www.amazon.fr/Real-World-Haskell-Bryan-OSullivan/dp/0596514980/ref=sr_1_1?ie=UTF8s=english-booksqid=1227687031sr=8-1 ? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Re: [Haskell] ANN: Real World Haskell, now shipping

2008-11-26 Thread david48
On Wed, Nov 26, 2008 at 9:10 AM, Don Stewart [EMAIL PROTECTED] wrote: dav.vire+haskell: Is it possible to order it from France yet ? http://www.amazon.fr/Real-World-Haskell-Bryan-OSullivan/dp/0596514980/ref=sr_1_1?ie=UTF8s=english-booksqid=1227687031sr=8-1 Actually right now I was logging in

Re: [Haskell-cafe] Re: [Haskell] ANN: Real World Haskell, now shipping

2008-11-26 Thread david48
Actually right now I was logging in to Amazon.fr to check :) It's not available yet on Amazon.fr. I've ordered them anyway, but I'm warned that I will not have them for christmas :( ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] Re: [Haskell] ANN: Real World Haskell, now shipping

2008-11-26 Thread Nicolas Pouillard
Excerpts from david48's message of Wed Nov 26 09:31:54 +0100 2008: Actually right now I was logging in to Amazon.fr to check :) It's not available yet on Amazon.fr. I've ordered them anyway, but I'm warned that I will not have them for christmas :( I've ordered it on Amazon.fr some months

[Haskell-cafe] Re: Problem getting code from AFP08 parallel tutorial to run in parallel

2008-11-26 Thread Simon Marlow
Don Stewart wrote: olivier.boudry: On Tue, Nov 25, 2008 at 3:07 PM, Simon Marlow [EMAIL PROTECTED] wrote: Yes, it's a scheduling bug. I'll make sure it gets fixed for 6.10.2. If you have more sparks then you shouldn't see this problem. Also, GHC HEAD is quite a lot better with parallel

[Haskell-cafe] Re: [Haskell] ANN: Real World Haskell, now shipping

2008-11-26 Thread David Leimbach
Very excited to receive my copy! Congrats to the 3 of you! On Tue, Nov 25, 2008 at 9:15 PM, Bryan O'Sullivan [EMAIL PROTECTED]wrote: Good evening - John Goerzen, Don Stewart and I are delighted to announce the availability of our book, Real World Haskell. It is 710 pages long, and published

Re: [Haskell-cafe] IRC question

2008-11-26 Thread Austin Seipp
Does anyone have an IRC client hiding somewhere that is console friendly (I IRC from a screen session) which is also extensible in Haskell? http://www.haskell.org/hircules/ Last update was over 5 years ago - you could try to still build it. But it uses gtk2hs, not ncurses. Personally, I've

[Haskell-cafe] workarounds for Codec.Compression.Zlib errors in darcs

2008-11-26 Thread Eric Kow
Hi everybody, This advisory is for people who have installed darcs 2.1.2 via the Cabal build method. As you may have noticed, the cabalised darcs sometimes fails with errors like Codec.Compression.Zlib: incorrect data check Why this happens Older versions of darcs can to

[Haskell-cafe] Re: workarounds for Codec.Compression.Zlib errors in darcs

2008-11-26 Thread Eric Kow
On Wed, Nov 26, 2008 at 14:38:32 +, Eric Kow wrote: Workaround 2 : fix your broken gzipped files If you have control over the repositories with broken gzipped files, it should be possible to repair these files by gunzipping them and then

Re: [Haskell-cafe] IRC question

2008-11-26 Thread Jeff Zaroyko
2008/11/26 Galchin, Vasili [EMAIL PROTECTED]: Hello, I am using Ubuntu Linux and I want to get the Haskell IRC feed. What IRC client can I use and how to configure? Thanks, Vasili If you are an Emacs user, then you can either use rcirc or erc M-x erc RET RET RET RET /join #haskell RET

RE: [Haskell-cafe] template haskell overly conservative during splicing?

2008-11-26 Thread Simon Peyton-Jones
Thanks for the bug report. I've fixed the bug: see http://hackage.haskell.org/trac/ghc/ticket/2817 Simon | -Original Message- | From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of | Nicolas Frisby | Sent: 04 November 2008 01:03 | To: haskell Cafe | Subject: [Haskell-cafe]

[Haskell-cafe] Re: [Haskell] ANN: Real World Haskell, now shipping

2008-11-26 Thread Don Stewart
I'd love it if people took a photo of the book arriving. With enough photos , I could put together a gallery of Haskell around the world :-) Here's my copy arriving last night, http://www.realworldhaskell.org/blog/2008/11/25/real-world-haskell-is-shipping/ And Dino's digital version,

Re: [Haskell-cafe] monads with take-out options

2008-11-26 Thread Jules Bean
Greg Meredith wrote: Haskellians, Some monads come with take-out options, e.g. * List * Set In the sense that if unit : A - List A is given by unit a = [a], then taking the head of a list can be used to retrieve values from inside the monad. Some monads do not come with take-out

Re: [Haskell-cafe] monads with take-out options

2008-11-26 Thread Jonathan Cast
On Wed, 2008-11-26 at 19:09 +, Jules Bean wrote: Greg Meredith wrote: Haskellians, Some monads come with take-out options, e.g. * List * Set In the sense that if unit : A - List A is given by unit a = [a], then taking the head of a list can be used to retrieve

Re: [Haskell-cafe] Windows vs. Linux x64

2008-11-26 Thread Bartosz Wójcik
On Wednesday 26 November 2008 02:16:26 John Meacham wrote: On Tue, Nov 25, 2008 at 09:39:35PM +0100, Ketil Malde wrote: This corresponds to my experiences - 64 bits is slower, something I've ascribed to the cost of increased pointer size. ghc unfortunatly also uses 64 bit integers when in

[Haskell-cafe] Re: [Haskell] Wait for *either* MVar to be set

2008-11-26 Thread Isaac Dupree
Peter Verswyvelen wrote: ... by spawning and killing two threads (which might be an expensive operation, I'm not sure) pretty cheap in GHC -- they're not system threads Am I wrong in this? If so, is this something that might be considered as a future enhancement in the GHC libraries and

[Haskell-cafe] Re: workarounds for Codec.Compression.Zlib errors in darcs

2008-11-26 Thread Eric Kow
On Wed, Nov 26, 2008 at 14:38:32 +, Eric Kow wrote: Workaround 1 : use C libz instead of Haskell zlib - So how can you work around these errors? If you are building darcs on any Unix-y operating system (e.g. Linux or MacOS X), you can cabal

[Haskell-cafe] Instances that shouldn't overlap

2008-11-26 Thread Paul Johnson
Hi, I'm trying to set up some operators for applicative versions of prelude types. For instance: -- | Applicative Equality. class (Eq a) = AppEq f a where (.==.), (./=.) :: f a - f a - f Bool instance (Applicative f, Eq a) = AppEq f a where (.==.) = liftA2 (==) (./=.) = liftA2 (/=)

Re: [Haskell-cafe] Instances that shouldn't overlap

2008-11-26 Thread Paul Johnson
Paul Johnson wrote: Hi, I'm trying to set up some operators for applicative versions of prelude types. I forgot to mention, I'm using {-# OPTIONS_GHC -fallow-undecidable-instances -XFlexibleInstances -XMultiParamTypeClasses #-} Paul. ___

[Haskell-cafe] Compilers

2008-11-26 Thread Andrew Coppin
Don Stewart wrote: Noteworthy, * lhc-20081121: “Lhc Haskell Compiler” Interesting. I can't find out any information about this... From time to time you do hear about Haskell compilers that aren't GHC, but I'm not aware of any other compilers that are production-grade yet.

Re: [Haskell-cafe] Re: [Haskell] Wait for *either* MVar to be set

2008-11-26 Thread Ryan Ingram
In fact: import Control.Concurrent.STM import Control.Concurrent.STM.TMVar -- gets a value from one of a list of TMVars takeTMVars :: [TMVar a] - STM (TMVar a, a) takeTMVars = foldr fetch retry where fetch v act = (takeTMVar v = \a - return (v, a)) `orElse` act -- puts the given value

Re: [Haskell-cafe] Compilers

2008-11-26 Thread Donnie Jones
Hello Andrew, On Wed, Nov 26, 2008 at 4:24 PM, Andrew Coppin [EMAIL PROTECTED]wrote: Don Stewart wrote: Noteworthy, * lhc-20081121: Lhc Haskell Compiler Interesting. I can't find out any information about this... Here is the current homepage for the LHC project:

Re: [Haskell-cafe] Compilers

2008-11-26 Thread Andrew Coppin
Jake McArthur wrote: Andrew Coppin wrote: Don Stewart wrote: Noteworthy, * lhc-20081121: “Lhc Haskell Compiler” Interesting. I can't find out any information about this... It is a fork of the JHC compiler, which should be easier to look up. There is also Hugs, as you

Re: [Haskell-cafe] ANN: Real World Haskell, now shipping

2008-11-26 Thread Andrew Coppin
Bryan O'Sullivan wrote: Good evening - John Goerzen, Don Stewart and I are delighted to announce the availability of our book, Real World Haskell. It is 710 pages long, and published by O'Reilly Media. You know, I *was* going to rush out and buy this as soon as it hit the shelves. I was

Re: [Haskell-cafe] Instances that shouldn't overlap

2008-11-26 Thread Ryan Ingram
A common mistake (and a confusing bit about typeclasses) is that whether or not the constraints on an instance apply are irrelevant. Specifically, the code instance (Applicative f, Eq a) = AppEq f a means that, given any types f and a, I can tell you how to make them an instance of AppEq. But I

Re: [Haskell-cafe] Instances that shouldn't overlap

2008-11-26 Thread Miguel Mitrofanov
Maybe it'd be more intuitive if written backwards: AppEq f a = (Applicative f, Eq a) or even AppEq f a = (Applicative f, Eq a) On 27 Nov 2008, at 00:39, Ryan Ingram wrote: A common mistake (and a confusing bit about typeclasses) is that whether or not the constraints on an instance apply

Re: [Haskell-cafe] Compilers

2008-11-26 Thread Andrew Coppin
Donnie Jones wrote: Here is the current homepage for the LHC project: http://lhc.seize.it/ Hope that helps. Yes. I found that - it just didn't *say* very much. ;-) I guess like many small projects, they're too busy *doing* it to have time to document it.

Re: [Haskell-cafe] Compilers

2008-11-26 Thread John Meacham
On Wed, Nov 26, 2008 at 03:29:43PM -0600, Jake McArthur wrote: Interesting. I can't find out any information about this... It is a fork of the JHC compiler, which should be easier to look up. There is also Hugs, as you mentioned. In addition, you may want to look at YHC and NHC. Hmm..

[Haskell-cafe] Finalisers

2008-11-26 Thread Andrew Coppin
Here's an interesting question... Is it possible to attach finalisers to a value? (That is, have some Haskell code executed when the item in question is reclaimed by the GC.) I'm interested in knowing whether a particular data structure is shared (i.e., whether it's safe to mutate it or

Re: [Haskell-cafe] Compilers

2008-11-26 Thread Matthias Kilian
On Wed, Nov 26, 2008 at 09:35:01PM +, Andrew Coppin wrote: It is a fork of the JHC compiler, which should be easier to look up. There is also Hugs, as you mentioned. In addition, you may want to look at YHC and NHC. Yeah, the implementations page on the Wiki basically says that there's

Re: [Haskell-cafe] Instances that shouldn't overlap

2008-11-26 Thread J. Garrett Morris
On Wed, Nov 26, 2008 at 1:54 PM, Miguel Mitrofanov [EMAIL PROTECTED] wrote: Maybe it'd be more intuitive if written backwards: AppEq f a = (Applicative f, Eq a) or even AppEq f a = (Applicative f, Eq a) The first is good, the second isn't. The first says the right thing: if you can prove

Re: [Haskell-cafe] Finalisers

2008-11-26 Thread Don Stewart
andrewcoppin: Here's an interesting question... Is it possible to attach finalisers to a value? (That is, have some Haskell code executed when the item in question is reclaimed by the GC.) I'm interested in knowing whether a particular data structure is shared (i.e., whether it's safe to

Re: [Haskell-cafe] Compilers

2008-11-26 Thread David Menendez
On Wed, Nov 26, 2008 at 4:58 PM, Matthias Kilian [EMAIL PROTECTED] wrote: On Wed, Nov 26, 2008 at 09:35:01PM +, Andrew Coppin wrote: It is a fork of the JHC compiler, which should be easier to look up. There is also Hugs, as you mentioned. In addition, you may want to look at YHC and NHC.

Re: [Haskell-cafe] Re: [Haskell] Wait for *either* MVar to be set

2008-11-26 Thread Duncan Coutts
On Wed, 2008-11-26 at 13:25 -0800, Ryan Ingram wrote: In fact: import Control.Concurrent.STM import Control.Concurrent.STM.TMVar -- gets a value from one of a list of TMVars takeTMVars :: [TMVar a] - STM (TMVar a, a) takeTMVars = foldr fetch retry where fetch v act = (takeTMVar

Re: [Haskell-cafe] workarounds for Codec.Compression.Zlib errors in darcs

2008-11-26 Thread Duncan Coutts
On Wed, 2008-11-26 at 14:38 +, Eric Kow wrote: Hi everybody, This advisory is for people who have installed darcs 2.1.2 via the Cabal build method. As you may have noticed, the cabalised darcs sometimes fails with errors like Codec.Compression.Zlib: incorrect data check Why this

Re: [Haskell-cafe] workarounds for Codec.Compression.Zlib errors in darcs

2008-11-26 Thread Don Stewart
duncan.coutts: On Wed, 2008-11-26 at 14:38 +, Eric Kow wrote: Hi everybody, This advisory is for people who have installed darcs 2.1.2 via the Cabal build method. As you may have noticed, the cabalised darcs sometimes fails with errors like Codec.Compression.Zlib: incorrect

Re: [Haskell-cafe] Compilers

2008-11-26 Thread Josef Svenningsson
On Wed, Nov 26, 2008 at 11:14 PM, David Menendez [EMAIL PROTECTED] wrote: How old is nhc? I've always thought of it as one of the big three, but I don't really know how far back it goes compared to ghc. The following page suggests that it was released mid 1994 but there could of course have

Re[2]: [Haskell-cafe] workarounds for Codec.Compression.Zlib errors in darcs

2008-11-26 Thread Bulat Ziganshin
Hello Duncan, Thursday, November 27, 2008, 1:28:21 AM, you wrote: checking mode rather than in a generating mode. It would use much of the same code as c2hs but it would read the C header files and the .hs file (via ghc api) and check that the FFI imports are using the right types. there is

Re: [Haskell-cafe] workarounds for Codec.Compression.Zlib errors in darcs

2008-11-26 Thread Duncan Coutts
On Wed, 2008-11-26 at 14:30 -0800, Don Stewart wrote: I think there is a need for a tool like c2hs but that works in a checking mode rather than in a generating mode. It would use much of the same code as c2hs but it would read the C header files and the .hs file (via ghc api) and check

Re: [Haskell-cafe] workarounds for Codec.Compression.Zlib errors in darcs

2008-11-26 Thread Malcolm Wallace
... to work out the C types and then map them to Haskell ones, to check they're the same as the declared types in the .hs files. I'd like to point out that the FFI specification already has such a mechanism. That is, if you use the optional specification of a header file for each foreign

Re: [Haskell-cafe] build tools and Cabal

2008-11-26 Thread John Lato
On Tue, Nov 25, 2008 at 8:18 PM, Duncan Coutts [EMAIL PROTECTED] wrote: On Tue, 2008-11-25 at 01:30 +, John Lato wrote: Hello, Cabal allows specifying arguments for tools it recognizes on the command line, e.g. runhaskell Setup.hs configure --c2hs-option=some_option Unfortunately, I

Re: [Haskell-cafe] workarounds for Codec.Compression.Zlib errors in darcs

2008-11-26 Thread Jason Dagit
On Wed, Nov 26, 2008 at 3:16 PM, Malcolm Wallace [EMAIL PROTECTED] wrote: ... to work out the C types and then map them to Haskell ones, to check they're the same as the declared types in the .hs files. I'd like to point out that the FFI specification already has such a mechanism. That

Re: [Haskell-cafe] Finalisers

2008-11-26 Thread Thomas Schilling
Possible, yes. Advisable, no. There is no guarantee that the finaliser is ever run, they are expensive (since they need to be kept separately and checked after each GC) and there are easier methods. Lava [1] uses a very lightweight sharing detection mechanism. Depending on your problem you

Re: [Haskell-cafe] Compilers

2008-11-26 Thread Bernie Pope
On 27/11/2008, at 8:35 AM, Andrew Coppin wrote: Jake McArthur wrote: Andrew Coppin wrote: Don Stewart wrote: Noteworthy, * lhc-20081121: “Lhc Haskell Compiler” Interesting. I can't find out any information about this... It is a fork of the JHC compiler, which should be

Re: [Haskell-cafe] Compilers

2008-11-26 Thread Richard O'Keefe
On 27 Nov 2008, at 10:56 am, Andrew Coppin wrote: Donnie Jones wrote: Here is the current homepage for the LHC project: http://lhc.seize.it/ Yes. I found that - it just didn't *say* very much. ;-) I really really wish there were just one more sentence on that page saying WHY there is a fork

Re: [Haskell-cafe] Compilers

2008-11-26 Thread Jason Dagit
On Wed, Nov 26, 2008 at 6:19 PM, Richard O'Keefe [EMAIL PROTECTED] wrote: On 27 Nov 2008, at 10:56 am, Andrew Coppin wrote: Donnie Jones wrote: Here is the current homepage for the LHC project: http://lhc.seize.it/ Yes. I found that - it just didn't *say* very much. ;-) I really

[Haskell-cafe] Philip Wadler video on Howard-Curry Correspondence ???

2008-11-26 Thread Galchin, Vasili
Hello, I am reading re-reading Prof. Wadler paper Proofs are Programs: 19th Century Logic and 21st Century Computing but also want to re-read watch his video on same subject. ??? Very kind thanks, Vasili ___ Haskell-Cafe mailing list

[Haskell-cafe] Need machine for DPH benchmarking

2008-11-26 Thread Roman Leshchinskiy
Hi all, we, the DPH team, are at the moment in the very unfortunate situation of not having a proper machine for running our benchmarks on. Could a kind soul maybe give us (i.e., me) access to a quadcore or 2xquadcore x86 Linux or OS X machine? I only need to build ghc on it and run

[Haskell-cafe] Instances that shouldn't overlap

2008-11-26 Thread oleg
Paul Johnson wrote: class (Eq a) = AppEq f a where instance (Applicative f, Eq a) = AppEq f a where instance (Ord a) = AppEq Interval a where In Haskell, instances are selected based solely on the types in the head. Constraints like `Applicative f' are not consulted when the instance is