Send Beginners mailing list submissions to
[email protected]
To subscribe or unsubscribe via the World Wide Web, visit
http://www.haskell.org/mailman/listinfo/beginners
or, via email, send a message with subject or body 'help' to
[email protected]
You can reach the person managing the list at
[email protected]
When replying, please edit your Subject line so it is more specific
than "Re: Contents of Beginners digest..."
Today's Topics:
1. Re: Question re "Pattern match(es) are non-exhaustive"
(Frerich Raabe)
2. Re: Fwd: GHC 7.10 Prelude: we need your opinion (Frerich Raabe)
3. Re: Question re "Pattern match(es) are non-exhaustive"
(Kim-Ee Yeoh)
----------------------------------------------------------------------
Message: 1
Date: Wed, 11 Feb 2015 09:24:18 +0100
From: Frerich Raabe <[email protected]>
To: The Haskell-Beginners Mailing List - Discussion of primarily
beginner-level topics related to Haskell <[email protected]>
Subject: Re: [Haskell-beginners] Question re "Pattern match(es) are
non-exhaustive"
Message-ID: <[email protected]>
Content-Type: text/plain; charset=US-ASCII; format=flowed
On 2015-02-10 18:01, Kim-Ee Yeoh wrote:
> On Tue, Feb 10, 2015 at 11:14 PM, Frerich Raabe <[email protected]> wrote:
>> I noticed that a similiar case exists with
>>
>> f :: Bool -> Bool
>> f x | x = True
>> | not x = False
[..]
> Now you could point out that "Ah, but look at the definition of not. It
> could inline, simplify, et voila, obtain
>
> f True = True
> f False = False
>
> and hence pattern-matching is complete."
>
> Therein lies the rub. All that inlining and simplification boils down to
> evaluating the program _in_ the compiler, so if your program diverges
> so would the compiler, which wouldn't be a happy thing.
Ah, true. The compiler would need to evaluate the program, I didn't realize
that. But: what do you mean by 'if your program diverges' -- diverges from
what?
--
Frerich Raabe - [email protected]
www.froglogic.com - Multi-Platform GUI Testing
------------------------------
Message: 2
Date: Wed, 11 Feb 2015 09:33:07 +0100
From: Frerich Raabe <[email protected]>
To: The Haskell-Beginners Mailing List - Discussion of primarily
beginner-level topics related to Haskell <[email protected]>
Subject: Re: [Haskell-beginners] Fwd: GHC 7.10 Prelude: we need your
opinion
Message-ID: <[email protected]>
Content-Type: text/plain; charset=US-ASCII; format=flowed
On 2015-02-10 17:46, Kim-Ee Yeoh wrote:
> Your opinion counts.
>
> Because those _after_ you will help provide jobs by creating haskell
> projects, just like you.
I just want to express that I'm very positively surprised about how open the
evolution of the language is! The fact that everybody can participate is a
very welcome change from what I'm used to (in the C++ world, the standard is
mostly developed and defined in among a very small circle of people).
--
Frerich Raabe - [email protected]
www.froglogic.com - Multi-Platform GUI Testing
------------------------------
Message: 3
Date: Wed, 11 Feb 2015 15:38:33 +0700
From: Kim-Ee Yeoh <[email protected]>
To: The Haskell-Beginners Mailing List - Discussion of primarily
beginner-level topics related to Haskell <[email protected]>
Subject: Re: [Haskell-beginners] Question re "Pattern match(es) are
non-exhaustive"
Message-ID:
<CAPY+ZdRYY+yR5_YPjy6Ccjw5j=CbOr+Km1W-gxz7MnL6=aa...@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"
On Wed, Feb 11, 2015 at 3:24 PM, Frerich Raabe <[email protected]> wrote:
> Ah, true. The compiler would need to evaluate the program, I didn't
> realize that. But: what do you mean by 'if your program diverges' --
> diverges from what?
http://en.wikipedia.org/wiki/Divergence_%28computer_science%29
-- Kim-Ee
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://www.haskell.org/pipermail/beginners/attachments/20150211/a2569c73/attachment-0001.html>
------------------------------
Subject: Digest Footer
_______________________________________________
Beginners mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/beginners
------------------------------
End of Beginners Digest, Vol 80, Issue 22
*****************************************
