Re: Remove eq and show from num class

[Mario Blazevic]

On Fri, Sep 8, 2017 at 3:19 AM, Anthony Clayden <
anthony_clay...@clear.net.nz> wrote:

> I'm baffled. Is this some sort of 'in' joke at ICFP?
> Then remember the rest of the world can see this list.
>
> > All yays from committee members please reply with yes to
> this email :)
>
> If this is to the committee, shouldn't it be on the
> committee list?
> (I mean ghc-steering-committee.)
>
> Or is there some other committee? I thought the
> Haskell-prime forum and process
>  was dead/replaced by the github proposals process?
>

It's complementary to the GitHub repo. It seemed easier to discuss general
things via e-mail.


At risk of me sounding like a complete dork: I find it
> rather useful
> that I can compare numbers for equality and show them.
> (That is, without having to write my own instances.)
>

All the standard instances of Num do have instances for Eq, Ord, and other
usual classes. If you mean that you're comparing a parametric Num a => a,
you'll be disappointed when you upgrade to GHC 7.4.1:

https://downloads.haskell.org/~ghc/7.4.1/docs/html/users_guide/release-7-4-1.html
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime

Re: Remove eq and show from num class

[Mario Blazevic]

Sending to the mailing list instead of to Herbert alone...

On Thu, Sep 7, 2017 at 2:20 PM, Herbert Valerio Riedel <hvrie...@gmail.com>
wrote:

Hello!
>
> On 2017-09-07 at 18:16:39 +0200, Mario Blazevic wrote:
> >> Btw, here's an old commit which updates the class diagram to this
> >> effect for the report:
> >>
> >> https://github.com/hvr/haskell-report/commit/
> >> 339ea257ee8b0451fbba388480566efac6ecbbd3
> >>
> > Ha, I wasn't aware of that repository.
>
> I set up the hvr/haskell-report fork[1] shortly after I migrated and set
> up the haskell/haskell-report repo back in 2015 to serve as an "updated"
> inofficial Haskell201x report...
>
> While looking through the report it became apparent to me that more
> updates may be needed, and that a new Haskell Prime committee was needed
> because such an inofficial Haskell report wouldn't provide the desired
> authority of a properly produced language standard, and you know the
> rest... :-)
>

That looks farsighted for sure.



> > We agreed today to move the report itself to the
> > https://github.com/haskell/rfcs/ repository.
>
> Ok, so how does this change the procedure described at
>
>   https://github.com/haskell/rfcs/blob/master/README.rst#succe
> ssful-proposals
>
> ?
>

I think the only necessary change is to the strangely worded clause

   - No one is appointed responsible for actually implementing the change,
   in particular neither the shepherd nor the author of the proposal.

I'd go with some alternative wording like

   - The successful proposal should include a complete delta to the text of
   The Haskell Report that can be automatically merged.



>
> And what is the intended relationship between the haskell/rfcs and the
> haskell/haskell-report repos?
>
> > Should we move the build system around it as well? I'd say probably
> > not, leave the haskell/haskell-report repository the canonical one and
> > update it from haskell/rfcs/ once we're ready to publish.
>
> Well, depends... the build-system is a bit incomplete as it only tests
> that TeX still builds, the intention was to provide a CI system which
> publishes its draft aftifacts somewhere for convenient previewing. And
> if I understand this correctly, you intend to have RFCs be accompanied
> by deltas to the report in the same repository; and if that's the case I
> think the build-system makes a lot of sense to duplicate in the
> haskell/rfcs repo.
>

I'm not familiar with the build system, so I'll trust your judgement on
this. The only reason for my earlier choice is that haskell/haskell-report
sounds like a proper cannonical place for the official Haskell Report, much
more so than haskell/rfcs.



> If the report was written in reStructuredText we could simply use
> something like the readthedocs.org service. But since it's LaTeX, we
> have to do a little bit more work to publishes ("deploys" in newspeak)
> .pdf drafts somewhere else, but it's doable.
>
I can take care to set it up, if it's clear what kind of CI/CD we want.
>

Is the current publishing system really that difficult? To my grizzled
ears, this sounds like you're fishing for a volunteer to translate LaTeX to
ReST. I'd actually be willing to do that, as I have plenty of experience
with text transformations, but I'd need a buy-in from everybody.



> > I wish GitHub made it possible to symlink files in two repositories
> > like this.
>
> I wouldn't worry too much about that... we can cross that bridge when
> we're close to a report worth publishing :-)
>

> Cheers,
>   HVR
>
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime

Re: Remove eq and show from num class

[Mario Blazevic]

On Thu, Sep 7, 2017 at 6:20 PM, Richard Eisenberg 
wrote:

> I don't mean to be a killjoy, but I think even something as simple as this
> should have a proposal. We still have to draft the changes to the Report
> associated with this change, and at least one is non-obvious: now numeric
> literals induce an Eq constraint (which should be mentioned). I'm certainly
> not against this change, but I don't think it's as easy as this.
>

I agree. I just I thought it was implicit that every change to the report
goes throught a pull request, which is the same as a proposal. Were you
volunteering for something else, Carter?
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime

Re: Whose gonna be at icfp?

[Mario Blazevic]

On Tue, Sep 5, 2017 at 8:05 AM, Henrik Nilsson <
henrik.nils...@nottingham.ac.uk> wrote:

> Hi,
>
> On 09/05/2017 12:54 PM, Mario Blazevic wrote:
>
>> In that case I suggest we meet during the coffee break and decide when
>> we really meet.
>>
>
> OK. Should we try to find each other at 16:10, then?
> Outside L1, the ICFP lecture theatre?


I'll be there.
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime

Re: Whose gonna be at icfp?

[Mario Blazevic]

On Tue, Sep 5, 2017 at 7:41 AM, Carter Schonwald <carter.schonw...@gmail.com
> wrote:

> Missing Conall's talk seems like a terrible time to meet :(
>

In that case I suggest we meet during the coffee break and decide when we
really meet.



>
> On Tue, Sep 5, 2017 at 10:54 AM Henrik Nilsson <
> henrik.nils...@nottingham.ac.uk> wrote:
>
>> Hi,
>>
>> On 09/05/2017 10:27 AM, Mario Blazevic wrote:
>> > I thought John said 4:40 today. You missed Andres Löh.
>>
>> Must have missed that. Works for me!
>>
>> /Henrik
>>
>
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime