Re: Shall the Haskell Report remain in LaTeX?

[Nicolas Wu]

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

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

Re: Whose gonna be at icfp?

[Nicolas Wu]

I'm also at ICFP


On Tue, 5 Sep 2017 at 08:12 Henrik Nilsson 
wrote:

> Hi!
>
>  > We should coord a committee catch-up at icfp.
>
> Seems that at least a few people are/or will be here in Oxford.
> I counted:
>
> Carter Schonwald
> John Wiegley
> Mario Blazević
>
> Lennart is also here, and Iavor is or will be here.
>
> Anyone else?
>
> It would make most sense to try to time a meeting around the
> Haskell Symposium, I think. A lunch meeting either Thursday or
> Friday could be an option (but might be a  bit rushed) or trying to
> meet up Thursday evening, probably after the Industry Reception
> (that is scheduled to end 20:30).
>
> What do you think?
>
> /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.
>
> ___
> Haskell-prime mailing list
> Haskell-prime@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
>
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime

Re: Chairship / responsibility

[Nicolas Wu]

Having Herbert as chair was also my understanding, and I'm very happy
for him to chair these discussions.

Nick

On 30 April 2016 at 09:38, Andres Löh  wrote:
> It was my understanding that Herbert would be the chair when I asked
> to be on the committee, and the fact that this question was already
> answer was a factor in my decision to try to help. Being the committee
> chair is less a position of power, and more a position of
> responsibility. I think we can be very happy to have someone who is
> willing to do the job, and I absolutely trust hvr to be up to the
> task.
>
> If needed, we can revisit the question over time when we have a better
> idea how our usual workflow and processes look like, but I don't think
> we need to or should have this discussion now.
>
> Cheers,
>   Andres
>
>
> On Sat, Apr 30, 2016 at 10:03 AM, Herbert Valerio Riedel
>  wrote:
>> Hello *,
>>
>> On 2016-04-29 at 15:17:43 +0200, Richard Eisenberg wrote:
>>> Is there a chair of this committee? Herbert has been acting as such
>>> (thank you!) but doesn't list himself as the chair in the initial
>>> announcement.
>>>
>>> I am **in no way** trying to change any status quo and
>>> am **not** interested in being chair at the moment, but I just wanted
>>> to clarify.
>>
>> Fwiw, I mentioned in the preceding CfN
>> (https://mail.haskell.org/pipermail/haskell-prime/2015-September/003936.html)
>> that
>>
>> | In consultation with the current members of the Haskell Prime
>> | committee (and Simon PJ), I have volunteered as chair to "reboot" the
>> | process and get things rolling again.
>>
>> But you're right I failed to repeat this in the actual announcement.
>>
>> However, I don't want to impose myself on the committee as chair. So if
>> anyone else feels motivated enough to pick up the role as chair with the
>> agreement of the committee I'll happily hand over the chair position!
>> :-)
>>
>> Moreover, this doesn't need to be a static configuration: We could also
>> rotate the chair position (and other duties) over the lifetime of the
>> Haskell 2020 committee. There just needs to be one designated chair at
>> any time to keep things moving.
>>
>>> The specific reason I ask is that Takenobu Tani recently asked about
>>> `pseq`. I have no intelligent response to offer, but would want to
>>> make sure that someone does offer a response. If there is a chair,
>>> that person is de facto responsible that we, as a committee,
>>> communicate well, both internally and externally.
>>
>> You're definitely right. And IMO the chair only needs to step in if
>> nobody else feels compelled to respond within a reasonable time, e.g. a
>> few days -- after all, we all have other duties besides the prime
>> committee :-)
>>
>> -- hvr
>>
>> ___
>> Haskell-prime mailing list
>> Haskell-prime@haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
>>
> ___
> Haskell-prime mailing list
> Haskell-prime@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime

Self nomination

[Nicolas Wu]

Dear all,

I'd like to nominate myself for membership on the Haskell Prime committee.

I have used Haskell in industry, for teaching, and for research.

* I have been using Haskell since 2001.
* I am currently a university lecturer teaching Haskell to a cohort of
180 students.
* I actively use Haskell in research, where I work on applications of
category theory in recursion schemes, effect handlers, and domain
specific languages.
* I have worked with Haskell as a consultant, and am a partner in a
company that uses Haskell for web development.

I would love to be involved in the process of deciding which features
should become part of the next standard for Haskell. I believe that
Haskell should be a language that appeals to several audiences:
newcomers to computer science, to those who use the language in
industry, and also to researchers. The needs of these different groups
need not be in conflict, and I would like to see a standard that
embraces them all.

Best wishes,

Nick
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime