Re: Remove eq and show from num class

Sending to the mailing list instead of to Herbert alone...
On Thu, Sep 7, 2017 at 2:20 PM, Herbert Valerio Riedel
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

Hello *, On 2017-09-08 at 00:46:52 +0200, Mario Blazevic wrote: [...]
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?
No, it's not that bad, it's just that there likely won't be a service that'll work out of the box with GitHub integration like readthedocs...
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.
...but I wouldn't go as far as to suggest this is reason enough to translate the report into .rst I guess I was rather trying to fish for some commitment that we want in fact to stay with LaTeX; I was planning to pick up where I left things in 2015 and clean up/refactor the TeX text and also investigate what our current options are to generate state-of-the-art .pdf, .html and .epub output. And I'd like to avoid this resulting a waste of effort in case we decide to move away from LaTeX in the foreseeable future... Long story short, is everyone ok to stay with (La)TeX, or is there some compelling reason that would justify migrating to a different documentation system? -- hvr

I personally kinda enjoy latex. Granted that's assuming it's well written
:)
On Sat, Sep 9, 2017 at 2:41 PM Herbert Valerio Riedel
Hello *,
On 2017-09-08 at 00:46:52 +0200, Mario Blazevic wrote:
[...]
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?
No, it's not that bad, it's just that there likely won't be a service that'll work out of the box with GitHub integration like readthedocs...
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.
...but I wouldn't go as far as to suggest this is reason enough to translate the report into .rst
I guess I was rather trying to fish for some commitment that we want in fact to stay with LaTeX; I was planning to pick up where I left things in 2015 and clean up/refactor the TeX text and also investigate what our current options are to generate state-of-the-art .pdf, .html and .epub output. And I'd like to avoid this resulting a waste of effort in case we decide to move away from LaTeX in the foreseeable future...
Long story short, is everyone ok to stay with (La)TeX, or is there some compelling reason that would justify migrating to a different documentation system?
-- hvr _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime

On 2017-09-09 09:40 AM, Herbert Valerio Riedel wrote:
Long story short, is everyone ok to stay with (La)TeX, or is there some compelling reason that would justify migrating to a different documentation system?
Since nobody said no in the 7 weeks since, I think it's safe to assume yes. Can we proceed with this now? Once the report is a part of the RFCs repository, I assume it will become the proper home that pull requests https://github.com/haskell/haskell-report/pull/3 (if also accompanied by an RFC).

It’s a yes from me for us to be using LaTeX, but I think it might be useful to use lhs2TeX to generate the LaTeX. lhs2TeX makes it possible for us to write literate Haskell files as the source to the Report, which in turn allows us to type-check much of the code we write, which is nice. Best wishes, Nick
On 30 Oct 2017, at 15:39, Mario Blažević
wrote: On 2017-09-09 09:40 AM, Herbert Valerio Riedel wrote:
Long story short, is everyone ok to stay with (La)TeX, or is there some compelling reason that would justify migrating to a different documentation system?
Since nobody said no in the 7 weeks since, I think it's safe to assume yes. Can we proceed with this now?
Once the report is a part of the RFCs repository, I assume it will become the proper home that pull requests https://github.com/haskell/haskell-report/pull/3 (if also accompanied by an RFC).
_______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime

On 2017-10-31 05:28 AM, Nicolas Wu wrote:
It’s a yes from me for us to be using LaTeX, but I think it might be useful to use lhs2TeX to generate the LaTeX.
lhs2TeX makes it possible for us to write literate Haskell files as the source to the Report, which in turn allows us to type-check much of the code we write, which is nice.
If we agree to use lhs2TeX, we can migrate the Haskell code fragments incrementally, after we check in the existing report. I suppose that would be just another RFC pull request, so feel free to submit it.
Best wishes,
Nick
On 30 Oct 2017, at 15:39, Mario Blažević
wrote: On 2017-09-09 09:40 AM, Herbert Valerio Riedel wrote:
Long story short, is everyone ok to stay with (La)TeX, or is there some compelling reason that would justify migrating to a different documentation system?
Since nobody said no in the 7 weeks since, I think it's safe to assume yes. Can we proceed with this now?
Once the report is a part of the RFCs repository, I assume it will become the proper home that pull requests https://github.com/haskell/haskell-report/pull/3 (if also accompanied by an RFC).

The good thing about laTeX is that out of all the candidates it is the most likely one to still work 40 years from now, Doaitse
Op 9 sep. 2017, om 15:40 heeft Herbert Valerio Riedel
het volgende geschreven: Hello *,
On 2017-09-08 at 00:46:52 +0200, Mario Blazevic wrote:
[...]
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?
No, it's not that bad, it's just that there likely won't be a service that'll work out of the box with GitHub integration like readthedocs...
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.
...but I wouldn't go as far as to suggest this is reason enough to translate the report into .rst
I guess I was rather trying to fish for some commitment that we want in fact to stay with LaTeX; I was planning to pick up where I left things in 2015 and clean up/refactor the TeX text and also investigate what our current options are to generate state-of-the-art .pdf, .html and .epub output. And I'd like to avoid this resulting a waste of effort in case we decide to move away from LaTeX in the foreseeable future...
Long story short, is everyone ok to stay with (La)TeX, or is there some compelling reason that would justify migrating to a different documentation system?
-- hvr _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime

"DS" == Doaitse Swierstra
writes:
SD> The good thing about laTeX is that out of all the candidates it is the SD> most likely one to still work 40 years from now, +1 from me for LaTeX as well. -- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2

agreed
On Tue, Oct 31, 2017 at 10:37 AM, John Wiegley
"DS" == Doaitse Swierstra
writes: SD> The good thing about laTeX is that out of all the candidates it is the SD> most likely one to still work 40 years from now,
+1 from me for LaTeX as well.
-- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime

Yes, I see no benefits moving from LaTeX. So remain LaTeX. /Henrik This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.
participants (9)
-
Carter Schonwald
-
Doaitse Swierstra
-
Henrik Nilsson
-
Herbert Valerio Riedel
-
John Wiegley
-
Mario Blazevic
-
Mario Blažević
-
Mario Blažević
-
Nicolas Wu