[Haskell-cafe] Monads with The contexts?

2012-07-13 Thread oleg
Tillmann Rendel has correctly noted that the source of the problem is the correlation among the random variables. Specifically, our measurement of Sun's mass and of Mars mass used the same rather than independently drawn samples of the Earth mass. Sharing (which supports what Functional-Logic

Re: [Haskell-cafe] haskell.org is so fragile

2012-07-13 Thread Gaius Hammond
It would have to be rewritten in Haskell and called Harnish. Gaius -- -Original Message- From: Bardur Arantsson s...@scientician.net Sender: haskell-cafe-boun...@haskell.org Date: Fri, 13 Jul 2012 01:28:30 To: haskell-cafe@haskell.org Subject: Re: [Haskell-cafe]

Re: [Haskell-cafe] ghci and TH cannot: unknown symbol `stat64`

2012-07-13 Thread Michael Snoyman
On Thu, Jul 12, 2012 at 7:30 PM, Tristan Ravitch travi...@cs.wisc.eduwrote: On Thu, Jul 12, 2012 at 07:20:39PM +0300, Michael Snoyman wrote: On Jul 12, 2012 7:13 PM, Tristan Ravitch travi...@cs.wisc.edu wrote: On Thu, Jul 12, 2012 at 11:07:05AM -0500, Tristan Ravitch wrote: Are you

Re: [Haskell-cafe] Control defaulting in ghci

2012-07-13 Thread Roman Cheplyaka
* Patrick Palka patr...@parcs.ath.cx [2012-07-08 14:39:26-0400] On 7/8/2012 11:28 AM, Roman Cheplyaka wrote: Is there a way to control defaulting in ghci? (Like the default declaration in source files does.) ghci 7.4.1 doesn't accept default declarations. I tried loading a module with a

Re: [Haskell-cafe] Monads with The contexts?

2012-07-13 Thread Takayuki Muranushi
Thank you Tillman, and Oleg, for your advices! Since ICFP contest is starting in a few hours, I will make a quick response with gratefulness and will read the full paper later Let me guess a few things, please tell me am I right. The share :: m a - m (m a) is almost the thing I am looking

Re: [Haskell-cafe] Plain lambda inside banana brackets in the arrow notation

2012-07-13 Thread Ross Paterson
On Thu, Jul 12, 2012 at 02:47:57PM +0100, Ross Paterson wrote: Though one possibility that might get us most of the way there would be to refactor the Arrow class as class PreArrow a where premap :: (b - b') - a b' c - a b c class (Category a, PreArrow a) = Arrow a where arr

[Haskell-cafe] RFCQ: The Classy Prelude: a more fully polymophic, drop-in alternative prelude http://www.yesodweb.com/blog/2012/07/classy-prelude

2012-07-13 Thread Max Cantor
I'd like to share Michael Snoyman's Classy Prelude: http://www.yesodweb.com/blog/2012/07/classy-prelude . The basic gist of the work is that many of the standard prelude functions are made for concrete types such as [a], [(a,b)], and [Char] but can be much more polymorphic. While this

[Haskell-cafe] strange hangs with -threaded runtime

2012-07-13 Thread Joey Hess
I have a rather large program that works fine with ghc's default runtime, but now I'd like to build it with -threaded, and this causes it to hang in a way I have not been able to pin down to anything specific. It hangs at different points each time it's run; running it in strace will consistently

Re: [Haskell-cafe] strange hangs with -threaded runtime

2012-07-13 Thread Joey Adams
On Fri, Jul 13, 2012 at 2:26 PM, Joey Hess j...@kitenet.net wrote: Are there any common gotchas with converting to the threaded runtime that might provide a hint to what's wrong? My code does not currently use Control.Concurrent or threads, although it does use some libraries like MissingH