Re: Cloud Haskell and network latency issues with -threaded

2013-02-06 Thread Tim Watson
Hi Kostirya, I'm putting the parallel-haskell and ghc-users lists on cc, just in case other (better informed) folks want to chip in here. First of all, I'm assuming you're talking about network latency when compiling with -threaded - if not I apologise for misunderstanding! There is

Re: Cloud Haskell and network latency issues with -threaded

2013-02-06 Thread Andreas Voellmy
Hi Edsko, Can you explain the figure linked to on that page a bit? E.g. how should the axes be labelled? On Wed, Feb 6, 2013 at 9:33 AM, Edsko de Vries ed...@well-typed.com wrote: Hi, Just for clarity's sake (as the author of that Latency section that Tim referred to): I have addressed all

RE: Cloud Haskell and network latency issues with -threaded

2013-02-06 Thread Simon Peyton-Jones
I (with help from Kazu and helpful comments from Bryan and Johan) have nearly completed an overhaul to the IO manager based on my observations and we are in the final stages of getting it into GHC This is really helpful. Thank you very much Andreas, Kazu, Bryan, Johan. Simon From:

[Haskell] Haskell Weekly News: Issue 257

2013-02-06 Thread Daniel Santa Cruz
Welcome to issue 257 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of January 27 to February 02, 2013. Quotes of the Week * shachaf: Everyone forgets about Agda Lovelace, the first constructivist. *

[Haskell-cafe] How far compilers are allowed to go with optimizations?

2013-02-06 Thread Jan Stolarek
Hi all, some time ago me and my friend had a discussion about optimizations performed by GHC. We wrote a bunch of nested list comprehensions that selected objects based on their properties (e.g. finding products with a price higher than 50). Then we rewrote our queries in a more efficient

Re: [Haskell-cafe] How far compilers are allowed to go with optimizations?

2013-02-06 Thread Mateusz Kowalczyk
You don't reason about the bits churned out by a compiler but about the actual code you write. If you want to preserve such information during the compilation process, you probably want to run the compiler without any optimization flags at all. At the moment, with the way you are thinking about

Re: [Haskell-cafe] How far compilers are allowed to go with optimizations?

2013-02-06 Thread Artyom Kazak
Ouch, forgot the Cafe. Would you object to this particular optimisation (replacing an algorithm with an entirely different one) if you were guaranteed that the space behaviour would not change? ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] How far compilers are allowed to go with optimizations?

2013-02-06 Thread Austin Seipp
This is pretty much a core idea behind Data Parallel Haskell - it transforms nested data parallel programs into flat ones. That's crucial to actually making it perform well and is an algorithmic change to your program. If you can reason about your program, and perhaps have an effective cost model

[Haskell-cafe] GHCi (7.4.2) is working on ARM

2013-02-06 Thread kenny lu
I've got a Cubieboard a few weeks back. I started it off with Linaro (Ubuntu) 12.06. Today I started to upgrade the OS to 12.11, which surprisingly came with ghc 7.4.2. And ghci magically works too. Here are the links http://www.cubieboard.org sudo apt-get install update-manager-core sudo

Re: [Haskell-cafe] How far compilers are allowed to go with optimizations?

2013-02-06 Thread Erik Hesselink
On Wed, Feb 6, 2013 at 1:18 PM, Austin Seipp mad@gmail.com wrote: Now, on a slight tangent, in practice, I guess it depends on your target market. C programs don't necessarily expose the details to make such rich optimizations possible. And Haskell programmers generally rely on

Re: [Haskell-cafe] How far compilers are allowed to go with optimizations?

2013-02-06 Thread Brandon Allbery
On Wed, Feb 6, 2013 at 6:45 AM, Jan Stolarek jan.stola...@p.lodz.pl wrote: nevertheless I objected to his opinion, claiming that if compiler performed such a high-level optimization - replace underlying data structure with a different one and turn one algorithm into a completely different

Re: [Haskell-cafe] How far compilers are allowed to go with optimizations?

2013-02-06 Thread Jan Stolarek
Would you object to this particular optimisation (replacing an algorithm with an entirely different one) if you were guaranteed that the space behaviour would not change? No, I wouldn't. Janek ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

Re: [Haskell-cafe] How far compilers are allowed to go with optimizations?

2013-02-06 Thread Jan Stolarek
You're right, somehow I didn't thought that DPH is doing exactly the same thing. Well, I think this is a convincing argument. Janek ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] A list of Haskell-related quotes?

2013-02-06 Thread Petr Pudlák
Dear haskellers, over the time I've read many funny or inspiring quotes related to Haskell, but I forgot them later. For example I vaguely remember: - What I really like about Haskell: It's completely unlike PHP. - To learn Haskell your brain will have to get seriously rewired. Does anybody

Re: [Haskell-cafe] A list of Haskell-related quotes?

2013-02-06 Thread Gwern Branwen
On Wed, Feb 6, 2013 at 5:36 PM, Petr Pudlák petr@gmail.com wrote: Does anybody collect them or know about such a collection? You can look at the Haskell Weekly News quote sections, or you can download the lambdabot source repo and read the State/quote file. -- gwern http://www.gwern.net

Re: [Haskell-cafe] GHCi (7.4.2) is working on ARM

2013-02-06 Thread dude
I have also validated ghc 7.4.1 on the Ubuntu Precise distro booted on a BeagleXM. There's no ghci included. --dude On 02/06/2013 08:15 AM, kenny lu wrote: I've got a Cubieboard a few weeks back. I started it off with Linaro (Ubuntu) 12.06. Today I started to upgrade the OS to 12.11, which

[Haskell-cafe] Haskell Weekly News: Issue 257

2013-02-06 Thread Daniel Santa Cruz
Welcome to issue 257 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of January 27 to February 02, 2013. Quotes of the Week * shachaf: Everyone forgets about Agda Lovelace, the first constructivist. *

[Haskell-cafe] Either example

2013-02-06 Thread Jacob Thomas
Hello I'm new to Haskell, and need help with figuring out the Either type... Any example to show how this works? Jacob ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Either example

2013-02-06 Thread Alvaro Gutierrez
Often, Either is used to represent, exclusively, a value or a failure, in a more detailed way than Maybe can. For example, a function like `parse` ( http://hackage.haskell.org/packages/archive/parsec/latest/doc/html/Text-Parsec-Prim.html#v:parse), which is part of Parsec, might have a type like: