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: Is this a GHC bug? Problem inferring type (Peter Hall)
2. Re: Is this a GHC bug? Problem inferring type (Brandon Allbery)
3. Re: Is this a GHC bug? Problem inferring type (Peter Hall)
----------------------------------------------------------------------
Message: 1
Date: Sat, 8 Jun 2013 21:26:11 +0100
From: Peter Hall <[email protected]>
Subject: Re: [Haskell-beginners] Is this a GHC bug? Problem inferring
type
To: Graham Gill <[email protected]>
Cc: The Haskell-Beginners Mailing List - Discussion of primarily
beginner-level topics related to Haskell <[email protected]>
Message-ID:
<caa6hak6qdds1n08tufbigej1nw-onpsz+47ln_1zw3kcouo...@mail.gmail.com>
Content-Type: text/plain; charset="iso-8859-1"
Oops :)
On 8 June 2013 21:15, Graham Gill <[email protected]> wrote:
> On 08/06/2013 4:11 PM, Peter Hall wrote:
>
>
>
>>> Show a => a -> a -> String
>>>
>>
>> ...is not monomorphic. If you want that to be inferred, turn off the
>> monomorphism restriction. (And yes, many people *do* consider the
>> monomorphism restriction of standard Haskell to be a bug in the
>> specification.)
>>
>>
> When are we due a new spec? 1998 was quite a while ago...
>
> Peter
>
>
> 2010 <http://www.haskell.org/haskellwiki/Haskell_2010>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://www.haskell.org/pipermail/beginners/attachments/20130608/49aec637/attachment-0001.htm>
------------------------------
Message: 2
Date: Sat, 8 Jun 2013 18:49:18 -0400
From: Brandon Allbery <[email protected]>
Subject: Re: [Haskell-beginners] Is this a GHC bug? Problem inferring
type
To: Peter Hall <[email protected]>, The Haskell-Beginners
Mailing List - Discussion of primarily beginner-level topics related
to Haskell <[email protected]>
Message-ID:
<CAKFCL4VDW=sxtuowqk_lowln_0tb9ssqkl-ildtwbht-u-e...@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"
On Sat, Jun 8, 2013 at 4:11 PM, Peter Hall <[email protected]> wrote:
> Show a => a -> a -> String
>>>
>>
>> ...is not monomorphic. If you want that to be inferred, turn off the
>> monomorphism restriction. (And yes, many people *do* consider the
>> monomorphism restriction of standard Haskell to be a bug in the
>> specification.)
>>
>>
> When are we due a new spec? 1998 was quite a while ago...
>
Most recent spec was Haskell 2010, as pointed out by someone else. There is
some talk of pushing for a 2014 revision which would include (among other
things) removal of the monomorphism restriction ? but the standards
committee is notoriously conservative, and IIRC argued against that
proposal in 2010.
--
brandon s allbery kf8nh sine nomine associates
[email protected] [email protected]
unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://www.haskell.org/pipermail/beginners/attachments/20130608/6966faac/attachment-0001.htm>
------------------------------
Message: 3
Date: Sun, 9 Jun 2013 01:16:14 +0100
From: Peter Hall <[email protected]>
Subject: Re: [Haskell-beginners] Is this a GHC bug? Problem inferring
type
To: Brandon Allbery <[email protected]>
Cc: The Haskell-Beginners Mailing List - Discussion of primarily
beginner-level topics related to Haskell <[email protected]>
Message-ID:
<caa6hak7b0rub7t6g0ldid9ffgfpghtfwey9dpidtehstvpq...@mail.gmail.com>
Content-Type: text/plain; charset="windows-1252"
>
>
> Most recent spec was Haskell 2010, as pointed out by someone else. There
> is some talk of pushing for a 2014 revision which would include (among
> other things) removal of the monomorphism restriction ? but the standards
> committee is notoriously conservative, and IIRC argued against that
> proposal in 2010.
>
But there has a been a lot of momentum in recent years towards removing it.
Aren't we a little optimistic? Presumably the only objection is the feeling
that it raises the barrier of difficulty for new implementations?
Peter
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://www.haskell.org/pipermail/beginners/attachments/20130609/ed7d40d1/attachment-0001.htm>
------------------------------
_______________________________________________
Beginners mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/beginners
End of Beginners Digest, Vol 60, Issue 15
*****************************************
