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: p

[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

[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. * applic

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 su

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 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 ___

[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 anybod

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

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 Brandon Allbery
On Wed, Feb 6, 2013 at 6:45 AM, Jan Stolarek 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 one - programmer wou

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 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 optimizations to make ord

[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 apt-g

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 f

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 http:

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 it

[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 for