From iavor.diatchki at gmail.com Wed Aug 19 17:48:24 2020 From: iavor.diatchki at gmail.com (Iavor Diatchki) Date: Wed, 19 Aug 2020 10:48:24 -0700 Subject: [ghc-steering-committee] Meet during ICFP? Message-ID: Hello, I was wondering if folks would be interested in a quick video chat some time next week? We have met in person during past ICFPs, and I think it is fun to interact a little more directly with people, even if it happens quite rarely :) Potential topics to discuss could be: * how are things going with the committee---there doesn't seem to be much discussion happening on proposal, * I would like to hear more about the Haskell Foundation idea, and I think it might be easier to convey the vision in person, rather than trying to figure it out through the formal documents * There is a ticket about potentially defining a GHC2020 multi-extension: I think that's an interesting idea, but we may want to discuss (1) how do other folks feel about such a thing, (2) what's the most constructive way to make progress on this kind of topic, as there are likely going to be many different opinions on what GHC2020 should be. Thoughts? -Iavor -------------- next part -------------- An HTML attachment was scrubbed... URL: From eric at seidel.io Wed Aug 19 18:01:25 2020 From: eric at seidel.io (Eric Seidel) Date: Wed, 19 Aug 2020 12:01:25 -0600 Subject: [ghc-steering-committee] Meet during ICFP? In-Reply-To: References: Message-ID: <51959a6b-d4ab-41ec-9bba-970406bda76b@www.fastmail.com> I'd be happy to meet up. On Wed, Aug 19, 2020, at 11:48, Iavor Diatchki wrote: > Hello, > > I was wondering if folks would be interested in a quick video chat some > time next week? We have met in person during past ICFPs, and I think > it is fun to interact a little more directly with people, even if it > happens quite rarely :) > > Potential topics to discuss could be: > * how are things going with the committee---there doesn't seem to be > much discussion happening on proposal, > * I would like to hear more about the Haskell Foundation idea, and I > think it might be easier to convey the vision in person, rather than > trying to figure it out through the formal documents > * There is a ticket about potentially defining a GHC2020 > multi-extension: I think that's an interesting idea, but we may want > to discuss (1) how do other folks feel about such a thing, (2) what's > the most constructive way to make progress on this kind of topic, as > there are likely going to be many different opinions on what GHC2020 > should be. > > Thoughts? > -Iavor > > _______________________________________________ > ghc-steering-committee mailing list > ghc-steering-committee at haskell.org > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee > From simonpj at microsoft.com Thu Aug 20 09:10:48 2020 From: simonpj at microsoft.com (Simon Peyton Jones) Date: Thu, 20 Aug 2020 09:10:48 +0000 Subject: [ghc-steering-committee] Meet during ICFP? In-Reply-To: References: Message-ID: Yes – excellent idea Iavor. Would you feel able to schedule it? Thanks! Simon From: ghc-steering-committee On Behalf Of Iavor Diatchki Sent: 19 August 2020 18:48 To: ghc-steering-committee Subject: [ghc-steering-committee] Meet during ICFP? Hello, I was wondering if folks would be interested in a quick video chat some time next week? We have met in person during past ICFPs, and I think it is fun to interact a little more directly with people, even if it happens quite rarely :) Potential topics to discuss could be: * how are things going with the committee---there doesn't seem to be much discussion happening on proposal, * I would like to hear more about the Haskell Foundation idea, and I think it might be easier to convey the vision in person, rather than trying to figure it out through the formal documents * There is a ticket about potentially defining a GHC2020 multi-extension: I think that's an interesting idea, but we may want to discuss (1) how do other folks feel about such a thing, (2) what's the most constructive way to make progress on this kind of topic, as there are likely going to be many different opinions on what GHC2020 should be. Thoughts? -Iavor -------------- next part -------------- An HTML attachment was scrubbed... URL: From iavor.diatchki at gmail.com Thu Aug 20 17:02:34 2020 From: iavor.diatchki at gmail.com (Iavor Diatchki) Date: Thu, 20 Aug 2020 10:02:34 -0700 Subject: [ghc-steering-committee] Meet during ICFP? In-Reply-To: References: Message-ID: Hello, I made a Doodle, please fill it out so we can pick a time that works for everyone: https://doodle.com/poll/rr6qucs764sb7tfc -Iavor On Thu, Aug 20, 2020 at 2:10 AM Simon Peyton Jones wrote: > Yes – excellent idea Iavor. Would you feel able to schedule it? > > > > Thanks! > > > > Simon > > > > *From:* ghc-steering-committee > *On Behalf Of *Iavor Diatchki > *Sent:* 19 August 2020 18:48 > *To:* ghc-steering-committee > *Subject:* [ghc-steering-committee] Meet during ICFP? > > > > Hello, > > > > I was wondering if folks would be interested in a quick video chat some > time next week? We have met in person during past ICFPs, and I think it > is fun to interact a little more directly with people, even if it happens > quite rarely :) > > > > Potential topics to discuss could be: > > * how are things going with the committee---there doesn't seem to be > much discussion happening on proposal, > > * I would like to hear more about the Haskell Foundation idea, and I > think it might be easier to convey the vision in person, rather than trying > to figure it out through the formal documents > > * There is a ticket about potentially defining a GHC2020 > multi-extension: I think that's an interesting idea, but we may want to > discuss (1) how do other folks feel about such a thing, (2) what's the most > constructive way to make progress on this kind of topic, as there are > likely going to be many different opinions on what GHC2020 should be. > > > > Thoughts? > > -Iavor > > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From bravit111 at gmail.com Thu Aug 20 17:25:01 2020 From: bravit111 at gmail.com (Vitaly Bragilevsky) Date: Thu, 20 Aug 2020 20:25:01 +0300 Subject: [ghc-steering-committee] Meet during ICFP? In-Reply-To: References: Message-ID: Hi, My phone managed to vote twice somehow, but I can't figure out if I can remove one of the lines. Vitaly чт, 20 авг. 2020 г. в 20:02, Iavor Diatchki : > Hello, > > I made a Doodle, please fill it out so we can pick a time that works for > everyone: > https://doodle.com/poll/rr6qucs764sb7tfc > > -Iavor > > > On Thu, Aug 20, 2020 at 2:10 AM Simon Peyton Jones > wrote: > >> Yes – excellent idea Iavor. Would you feel able to schedule it? >> >> >> >> Thanks! >> >> >> >> Simon >> >> >> >> *From:* ghc-steering-committee < >> ghc-steering-committee-bounces at haskell.org> *On Behalf Of *Iavor Diatchki >> *Sent:* 19 August 2020 18:48 >> *To:* ghc-steering-committee >> *Subject:* [ghc-steering-committee] Meet during ICFP? >> >> >> >> Hello, >> >> >> >> I was wondering if folks would be interested in a quick video chat some >> time next week? We have met in person during past ICFPs, and I think it >> is fun to interact a little more directly with people, even if it happens >> quite rarely :) >> >> >> >> Potential topics to discuss could be: >> >> * how are things going with the committee---there doesn't seem to be >> much discussion happening on proposal, >> >> * I would like to hear more about the Haskell Foundation idea, and I >> think it might be easier to convey the vision in person, rather than trying >> to figure it out through the formal documents >> >> * There is a ticket about potentially defining a GHC2020 >> multi-extension: I think that's an interesting idea, but we may want to >> discuss (1) how do other folks feel about such a thing, (2) what's the most >> constructive way to make progress on this kind of topic, as there are >> likely going to be many different opinions on what GHC2020 should be. >> >> >> >> Thoughts? >> >> -Iavor >> >> >> > _______________________________________________ > ghc-steering-committee mailing list > ghc-steering-committee at haskell.org > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee > -------------- next part -------------- An HTML attachment was scrubbed... URL: From iavor.diatchki at gmail.com Sun Aug 23 16:59:27 2020 From: iavor.diatchki at gmail.com (Iavor Diatchki) Date: Sun, 23 Aug 2020 09:59:27 -0700 Subject: [ghc-steering-committee] Meet during ICFP? In-Reply-To: References: Message-ID: Hello, I've only heard from Eric, Vitaly, and Simon PJ, could other members of the committee please fill out the Doodle, so we can pick a time? If none of the times work, please respond with an email, or fill out the Doodle so we can figure out what to do. -Iavor On Thu, Aug 20, 2020 at 10:25 AM Vitaly Bragilevsky wrote: > Hi, > > My phone managed to vote twice somehow, but I can't figure out if I can > remove one of the lines. > > Vitaly > > чт, 20 авг. 2020 г. в 20:02, Iavor Diatchki : > >> Hello, >> >> I made a Doodle, please fill it out so we can pick a time that works for >> everyone: >> https://doodle.com/poll/rr6qucs764sb7tfc >> >> -Iavor >> >> >> On Thu, Aug 20, 2020 at 2:10 AM Simon Peyton Jones >> wrote: >> >>> Yes – excellent idea Iavor. Would you feel able to schedule it? >>> >>> >>> >>> Thanks! >>> >>> >>> >>> Simon >>> >>> >>> >>> *From:* ghc-steering-committee < >>> ghc-steering-committee-bounces at haskell.org> *On Behalf Of *Iavor >>> Diatchki >>> *Sent:* 19 August 2020 18:48 >>> *To:* ghc-steering-committee >>> *Subject:* [ghc-steering-committee] Meet during ICFP? >>> >>> >>> >>> Hello, >>> >>> >>> >>> I was wondering if folks would be interested in a quick video chat some >>> time next week? We have met in person during past ICFPs, and I think it >>> is fun to interact a little more directly with people, even if it happens >>> quite rarely :) >>> >>> >>> >>> Potential topics to discuss could be: >>> >>> * how are things going with the committee---there doesn't seem to be >>> much discussion happening on proposal, >>> >>> * I would like to hear more about the Haskell Foundation idea, and I >>> think it might be easier to convey the vision in person, rather than trying >>> to figure it out through the formal documents >>> >>> * There is a ticket about potentially defining a GHC2020 >>> multi-extension: I think that's an interesting idea, but we may want to >>> discuss (1) how do other folks feel about such a thing, (2) what's the most >>> constructive way to make progress on this kind of topic, as there are >>> likely going to be many different opinions on what GHC2020 should be. >>> >>> >>> >>> Thoughts? >>> >>> -Iavor >>> >>> >>> >> _______________________________________________ >> ghc-steering-committee mailing list >> ghc-steering-committee at haskell.org >> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee >> > -------------- next part -------------- An HTML attachment was scrubbed... URL: From rae at richarde.dev Sun Aug 23 21:08:38 2020 From: rae at richarde.dev (Richard Eisenberg) Date: Sun, 23 Aug 2020 21:08:38 +0000 Subject: [ghc-steering-committee] Meet during ICFP? In-Reply-To: References: Message-ID: <010f01741d26d6c1-487fc7e2-055f-4cd3-9b52-0eaf10360c4f-000000@us-east-2.amazonses.com> I've responded to the Doodle -- would be nice to meet up, if possible. Thanks for organizing, Iavor. Richard > On Aug 23, 2020, at 12:59 PM, Iavor Diatchki wrote: > > Hello, > > I've only heard from Eric, Vitaly, and Simon PJ, could other members of the committee please fill out the Doodle, so we can pick a time? If none of the times work, please respond with an email, or fill out the Doodle so we can figure out what to do. > > -Iavor > > > > On Thu, Aug 20, 2020 at 10:25 AM Vitaly Bragilevsky > wrote: > Hi, > > My phone managed to vote twice somehow, but I can't figure out if I can remove one of the lines. > > Vitaly > > чт, 20 авг. 2020 г. в 20:02, Iavor Diatchki >: > Hello, > > I made a Doodle, please fill it out so we can pick a time that works for everyone: > https://doodle.com/poll/rr6qucs764sb7tfc > > -Iavor > > > On Thu, Aug 20, 2020 at 2:10 AM Simon Peyton Jones > wrote: > Yes – excellent idea Iavor. Would you feel able to schedule it? > > > > Thanks! > > > > Simon > > > > From: ghc-steering-committee > On Behalf Of Iavor Diatchki > Sent: 19 August 2020 18:48 > To: ghc-steering-committee > > Subject: [ghc-steering-committee] Meet during ICFP? > > > > Hello, > > > > I was wondering if folks would be interested in a quick video chat some time next week? We have met in person during past ICFPs, and I think it is fun to interact a little more directly with people, even if it happens quite rarely :) > > > > Potential topics to discuss could be: > > * how are things going with the committee---there doesn't seem to be much discussion happening on proposal, > > * I would like to hear more about the Haskell Foundation idea, and I think it might be easier to convey the vision in person, rather than trying to figure it out through the formal documents > > * There is a ticket about potentially defining a GHC2020 multi-extension: I think that's an interesting idea, but we may want to discuss (1) how do other folks feel about such a thing, (2) what's the most constructive way to make progress on this kind of topic, as there are likely going to be many different opinions on what GHC2020 should be. > > > > Thoughts? > > -Iavor > > > > _______________________________________________ > ghc-steering-committee mailing list > ghc-steering-committee at haskell.org > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee > _______________________________________________ > ghc-steering-committee mailing list > ghc-steering-committee at haskell.org > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee -------------- next part -------------- An HTML attachment was scrubbed... URL: From trupill at gmail.com Mon Aug 24 07:10:34 2020 From: trupill at gmail.com (Alejandro Serrano Mena) Date: Mon, 24 Aug 2020 09:10:34 +0200 Subject: [ghc-steering-committee] Meet during ICFP? In-Reply-To: <010f01741d26d6c1-487fc7e2-055f-4cd3-9b52-0eaf10360c4f-000000@us-east-2.amazonses.com> References: <010f01741d26d6c1-487fc7e2-055f-4cd3-9b52-0eaf10360c4f-000000@us-east-2.amazonses.com> Message-ID: Done! Looking forward to seeing you all! Alejandro El dom., 23 ago. 2020 a las 23:08, Richard Eisenberg () escribió: > I've responded to the Doodle -- would be nice to meet up, if possible. > > Thanks for organizing, Iavor. > > Richard > > On Aug 23, 2020, at 12:59 PM, Iavor Diatchki > wrote: > > Hello, > > I've only heard from Eric, Vitaly, and Simon PJ, could other members of > the committee please fill out the Doodle, so we can pick a time? If none > of the times work, please respond with an email, or fill out the Doodle so > we can figure out what to do. > > -Iavor > > > > On Thu, Aug 20, 2020 at 10:25 AM Vitaly Bragilevsky > wrote: > >> Hi, >> >> My phone managed to vote twice somehow, but I can't figure out if I can >> remove one of the lines. >> >> Vitaly >> >> чт, 20 авг. 2020 г. в 20:02, Iavor Diatchki : >> >>> Hello, >>> >>> I made a Doodle, please fill it out so we can pick a time that works for >>> everyone: >>> https://doodle.com/poll/rr6qucs764sb7tfc >>> >>> -Iavor >>> >>> >>> On Thu, Aug 20, 2020 at 2:10 AM Simon Peyton Jones < >>> simonpj at microsoft.com> wrote: >>> >>>> Yes – excellent idea Iavor. Would you feel able to schedule it? >>>> >>>> >>>> >>>> Thanks! >>>> >>>> >>>> >>>> Simon >>>> >>>> >>>> >>>> *From:* ghc-steering-committee < >>>> ghc-steering-committee-bounces at haskell.org> *On Behalf Of *Iavor >>>> Diatchki >>>> *Sent:* 19 August 2020 18:48 >>>> *To:* ghc-steering-committee >>>> *Subject:* [ghc-steering-committee] Meet during ICFP? >>>> >>>> >>>> >>>> Hello, >>>> >>>> >>>> >>>> I was wondering if folks would be interested in a quick video chat some >>>> time next week? We have met in person during past ICFPs, and I think it >>>> is fun to interact a little more directly with people, even if it happens >>>> quite rarely :) >>>> >>>> >>>> >>>> Potential topics to discuss could be: >>>> >>>> * how are things going with the committee---there doesn't seem to be >>>> much discussion happening on proposal, >>>> >>>> * I would like to hear more about the Haskell Foundation idea, and I >>>> think it might be easier to convey the vision in person, rather than trying >>>> to figure it out through the formal documents >>>> >>>> * There is a ticket about potentially defining a GHC2020 >>>> multi-extension: I think that's an interesting idea, but we may want to >>>> discuss (1) how do other folks feel about such a thing, (2) what's the most >>>> constructive way to make progress on this kind of topic, as there are >>>> likely going to be many different opinions on what GHC2020 should be. >>>> >>>> >>>> >>>> Thoughts? >>>> >>>> -Iavor >>>> >>>> >>>> >>> _______________________________________________ >>> ghc-steering-committee mailing list >>> ghc-steering-committee at haskell.org >>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee >>> >> _______________________________________________ > ghc-steering-committee mailing list > ghc-steering-committee at haskell.org > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee > > > _______________________________________________ > ghc-steering-committee mailing list > ghc-steering-committee at haskell.org > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee > -------------- next part -------------- An HTML attachment was scrubbed... URL: From iavor.diatchki at gmail.com Mon Aug 24 14:52:11 2020 From: iavor.diatchki at gmail.com (Iavor Diatchki) Date: Mon, 24 Aug 2020 07:52:11 -0700 Subject: [ghc-steering-committee] Meet during ICFP? In-Reply-To: References: <010f01741d26d6c1-487fc7e2-055f-4cd3-9b52-0eaf10360c4f-000000@us-east-2.amazonses.com> Message-ID: Hello everyone, at present the two most popular times are: * Wednesday, 7am PDT / 2pm UTC (only Alejandro can't make this slot), or * Thursday, 8am PDT / 3pm UTC (only Richard can't make this slot). Would one of these work better for Joachim, Simon M, Tom, or Cale? -Iavor On Mon, Aug 24, 2020 at 12:10 AM Alejandro Serrano Mena wrote: > Done! Looking forward to seeing you all! > > Alejandro > > El dom., 23 ago. 2020 a las 23:08, Richard Eisenberg () > escribió: > >> I've responded to the Doodle -- would be nice to meet up, if possible. >> >> Thanks for organizing, Iavor. >> >> Richard >> >> On Aug 23, 2020, at 12:59 PM, Iavor Diatchki >> wrote: >> >> Hello, >> >> I've only heard from Eric, Vitaly, and Simon PJ, could other members of >> the committee please fill out the Doodle, so we can pick a time? If none >> of the times work, please respond with an email, or fill out the Doodle so >> we can figure out what to do. >> >> -Iavor >> >> >> >> On Thu, Aug 20, 2020 at 10:25 AM Vitaly Bragilevsky >> wrote: >> >>> Hi, >>> >>> My phone managed to vote twice somehow, but I can't figure out if I can >>> remove one of the lines. >>> >>> Vitaly >>> >>> чт, 20 авг. 2020 г. в 20:02, Iavor Diatchki : >>> >>>> Hello, >>>> >>>> I made a Doodle, please fill it out so we can pick a time that works >>>> for everyone: >>>> https://doodle.com/poll/rr6qucs764sb7tfc >>>> >>>> -Iavor >>>> >>>> >>>> On Thu, Aug 20, 2020 at 2:10 AM Simon Peyton Jones < >>>> simonpj at microsoft.com> wrote: >>>> >>>>> Yes – excellent idea Iavor. Would you feel able to schedule it? >>>>> >>>>> >>>>> >>>>> Thanks! >>>>> >>>>> >>>>> >>>>> Simon >>>>> >>>>> >>>>> >>>>> *From:* ghc-steering-committee < >>>>> ghc-steering-committee-bounces at haskell.org> *On Behalf Of *Iavor >>>>> Diatchki >>>>> *Sent:* 19 August 2020 18:48 >>>>> *To:* ghc-steering-committee >>>>> *Subject:* [ghc-steering-committee] Meet during ICFP? >>>>> >>>>> >>>>> >>>>> Hello, >>>>> >>>>> >>>>> >>>>> I was wondering if folks would be interested in a quick video chat >>>>> some time next week? We have met in person during past ICFPs, and I think >>>>> it is fun to interact a little more directly with people, even if it >>>>> happens quite rarely :) >>>>> >>>>> >>>>> >>>>> Potential topics to discuss could be: >>>>> >>>>> * how are things going with the committee---there doesn't seem to >>>>> be much discussion happening on proposal, >>>>> >>>>> * I would like to hear more about the Haskell Foundation idea, and >>>>> I think it might be easier to convey the vision in person, rather than >>>>> trying to figure it out through the formal documents >>>>> >>>>> * There is a ticket about potentially defining a GHC2020 >>>>> multi-extension: I think that's an interesting idea, but we may want to >>>>> discuss (1) how do other folks feel about such a thing, (2) what's the most >>>>> constructive way to make progress on this kind of topic, as there are >>>>> likely going to be many different opinions on what GHC2020 should be. >>>>> >>>>> >>>>> >>>>> Thoughts? >>>>> >>>>> -Iavor >>>>> >>>>> >>>>> >>>> _______________________________________________ >>>> ghc-steering-committee mailing list >>>> ghc-steering-committee at haskell.org >>>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee >>>> >>> _______________________________________________ >> ghc-steering-committee mailing list >> ghc-steering-committee at haskell.org >> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee >> >> >> _______________________________________________ >> ghc-steering-committee mailing list >> ghc-steering-committee at haskell.org >> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee >> > -------------- next part -------------- An HTML attachment was scrubbed... URL: From iavor.diatchki at gmail.com Tue Aug 25 19:19:45 2020 From: iavor.diatchki at gmail.com (Iavor Diatchki) Date: Tue, 25 Aug 2020 12:19:45 -0700 Subject: [ghc-steering-committee] Meet during ICFP? In-Reply-To: References: <010f01741d26d6c1-487fc7e2-055f-4cd3-9b52-0eaf10360c4f-000000@us-east-2.amazonses.com> Message-ID: Hello, thanks to everyone who responded! It seems that the same two options still accommodate the most folks, so I suggest we meet tomorrow, Wednesday, the 26th, at 7am PDT / 2pm UTC. I looked on Clowdr, and it looks like we can create an ephemeral private video room on the spot (in the People/Places menu), so I'll make one tomorrow around the time of the meeting and invite everyone to join. Let's plan to also be in the "Lobby" around that time, so we can find each other easily, in case something goes wrong with the technology. Hope to see you tomorrow, -Iavor On Mon, Aug 24, 2020 at 7:52 AM Iavor Diatchki wrote: > Hello everyone, > > at present the two most popular times are: > * Wednesday, 7am PDT / 2pm UTC (only Alejandro can't make this slot), > or > * Thursday, 8am PDT / 3pm UTC (only Richard can't make this slot). > > Would one of these work better for Joachim, Simon M, Tom, or Cale? > > -Iavor > > > > On Mon, Aug 24, 2020 at 12:10 AM Alejandro Serrano Mena > wrote: > >> Done! Looking forward to seeing you all! >> >> Alejandro >> >> El dom., 23 ago. 2020 a las 23:08, Richard Eisenberg () >> escribió: >> >>> I've responded to the Doodle -- would be nice to meet up, if possible. >>> >>> Thanks for organizing, Iavor. >>> >>> Richard >>> >>> On Aug 23, 2020, at 12:59 PM, Iavor Diatchki >>> wrote: >>> >>> Hello, >>> >>> I've only heard from Eric, Vitaly, and Simon PJ, could other members of >>> the committee please fill out the Doodle, so we can pick a time? If none >>> of the times work, please respond with an email, or fill out the Doodle so >>> we can figure out what to do. >>> >>> -Iavor >>> >>> >>> >>> On Thu, Aug 20, 2020 at 10:25 AM Vitaly Bragilevsky >>> wrote: >>> >>>> Hi, >>>> >>>> My phone managed to vote twice somehow, but I can't figure out if I can >>>> remove one of the lines. >>>> >>>> Vitaly >>>> >>>> чт, 20 авг. 2020 г. в 20:02, Iavor Diatchki : >>>> >>>>> Hello, >>>>> >>>>> I made a Doodle, please fill it out so we can pick a time that works >>>>> for everyone: >>>>> https://doodle.com/poll/rr6qucs764sb7tfc >>>>> >>>>> -Iavor >>>>> >>>>> >>>>> On Thu, Aug 20, 2020 at 2:10 AM Simon Peyton Jones < >>>>> simonpj at microsoft.com> wrote: >>>>> >>>>>> Yes – excellent idea Iavor. Would you feel able to schedule it? >>>>>> >>>>>> >>>>>> >>>>>> Thanks! >>>>>> >>>>>> >>>>>> >>>>>> Simon >>>>>> >>>>>> >>>>>> >>>>>> *From:* ghc-steering-committee < >>>>>> ghc-steering-committee-bounces at haskell.org> *On Behalf Of *Iavor >>>>>> Diatchki >>>>>> *Sent:* 19 August 2020 18:48 >>>>>> *To:* ghc-steering-committee >>>>>> *Subject:* [ghc-steering-committee] Meet during ICFP? >>>>>> >>>>>> >>>>>> >>>>>> Hello, >>>>>> >>>>>> >>>>>> >>>>>> I was wondering if folks would be interested in a quick video chat >>>>>> some time next week? We have met in person during past ICFPs, and I think >>>>>> it is fun to interact a little more directly with people, even if it >>>>>> happens quite rarely :) >>>>>> >>>>>> >>>>>> >>>>>> Potential topics to discuss could be: >>>>>> >>>>>> * how are things going with the committee---there doesn't seem to >>>>>> be much discussion happening on proposal, >>>>>> >>>>>> * I would like to hear more about the Haskell Foundation idea, and >>>>>> I think it might be easier to convey the vision in person, rather than >>>>>> trying to figure it out through the formal documents >>>>>> >>>>>> * There is a ticket about potentially defining a GHC2020 >>>>>> multi-extension: I think that's an interesting idea, but we may want to >>>>>> discuss (1) how do other folks feel about such a thing, (2) what's the most >>>>>> constructive way to make progress on this kind of topic, as there are >>>>>> likely going to be many different opinions on what GHC2020 should be. >>>>>> >>>>>> >>>>>> >>>>>> Thoughts? >>>>>> >>>>>> -Iavor >>>>>> >>>>>> >>>>>> >>>>> _______________________________________________ >>>>> ghc-steering-committee mailing list >>>>> ghc-steering-committee at haskell.org >>>>> >>>>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee >>>>> >>>> _______________________________________________ >>> ghc-steering-committee mailing list >>> ghc-steering-committee at haskell.org >>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee >>> >>> >>> _______________________________________________ >>> ghc-steering-committee mailing list >>> ghc-steering-committee at haskell.org >>> https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee >>> >> -------------- next part -------------- An HTML attachment was scrubbed... URL: From simonpj at microsoft.com Tue Aug 25 20:54:36 2020 From: simonpj at microsoft.com (Simon Peyton Jones) Date: Tue, 25 Aug 2020 20:54:36 +0000 Subject: [ghc-steering-committee] GHC proposals In-Reply-To: References: Message-ID: Friends on the GHC Steering Committee, I’m giving a “state of GHC” report to the Haskell Implementors Workshop on Friday. As part of that, last year I summarised the state of GHC proposals (see attached slides). Would any of you have a moment to write a couple of slides about this year’s activity, maybe in the same format, or really whatever you want? I could do it, of course, but I’m running around writing all the *other* slides, and I’d very much welcome your help. (Our peerless secretary Joachim is computationally disconnected, so he can’t.) Thank you! Simon From: Joachim Breitner Sent: 25 August 2020 20:49 To: Simon Peyton Jones Subject: Re: GHC proposals Hi Simon, I am travelling by bike and tent and without laptop right now. I might be back by Thursday night, but cannot guarantee it. Maybe ask on the mailing list if someone else can update the numbers? Cheers from 25.08.2020 20:37:43 Simon Peyton Jones >: Joachim I’m giving a “stage of GHC” report to the Haskell Implementors Workshop on Friday. As part of that, last year I summarised the state of GHC proposals (see attached slides). Would you have a moment to write a couple of slides about this year’s activity, maybe in the same format, or really whatever you want. Thanks! Simon -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: GHC Aug 19.pptx Type: application/vnd.openxmlformats-officedocument.presentationml.presentation Size: 279041 bytes Desc: GHC Aug 19.pptx URL: From simonpj at microsoft.com Tue Aug 25 20:55:49 2020 From: simonpj at microsoft.com (Simon Peyton Jones) Date: Tue, 25 Aug 2020 20:55:49 +0000 Subject: [ghc-steering-committee] Meet during ICFP? In-Reply-To: References: <010f01741d26d6c1-487fc7e2-055f-4cd3-9b52-0eaf10360c4f-000000@us-east-2.amazonses.com> Message-ID: OK. that’s 1500 London time I think. I’ll be there! Simon From: ghc-steering-committee On Behalf Of Iavor Diatchki Sent: 25 August 2020 20:20 To: Alejandro Serrano Mena Cc: ghc-steering-committee Subject: Re: [ghc-steering-committee] Meet during ICFP? Hello, thanks to everyone who responded! It seems that the same two options still accommodate the most folks, so I suggest we meet tomorrow, Wednesday, the 26th, at 7am PDT / 2pm UTC. I looked on Clowdr, and it looks like we can create an ephemeral private video room on the spot (in the People/Places menu), so I'll make one tomorrow around the time of the meeting and invite everyone to join. Let's plan to also be in the "Lobby" around that time, so we can find each other easily, in case something goes wrong with the technology. Hope to see you tomorrow, -Iavor On Mon, Aug 24, 2020 at 7:52 AM Iavor Diatchki > wrote: Hello everyone, at present the two most popular times are: * Wednesday, 7am PDT / 2pm UTC (only Alejandro can't make this slot), or * Thursday, 8am PDT / 3pm UTC (only Richard can't make this slot). Would one of these work better for Joachim, Simon M, Tom, or Cale? -Iavor On Mon, Aug 24, 2020 at 12:10 AM Alejandro Serrano Mena > wrote: Done! Looking forward to seeing you all! Alejandro El dom., 23 ago. 2020 a las 23:08, Richard Eisenberg (>) escribió: I've responded to the Doodle -- would be nice to meet up, if possible. Thanks for organizing, Iavor. Richard On Aug 23, 2020, at 12:59 PM, Iavor Diatchki > wrote: Hello, I've only heard from Eric, Vitaly, and Simon PJ, could other members of the committee please fill out the Doodle, so we can pick a time? If none of the times work, please respond with an email, or fill out the Doodle so we can figure out what to do. -Iavor On Thu, Aug 20, 2020 at 10:25 AM Vitaly Bragilevsky > wrote: Hi, My phone managed to vote twice somehow, but I can't figure out if I can remove one of the lines. Vitaly чт, 20 авг. 2020 г. в 20:02, Iavor Diatchki >: Hello, I made a Doodle, please fill it out so we can pick a time that works for everyone: https://doodle.com/poll/rr6qucs764sb7tfc -Iavor On Thu, Aug 20, 2020 at 2:10 AM Simon Peyton Jones > wrote: Yes – excellent idea Iavor. Would you feel able to schedule it? Thanks! Simon From: ghc-steering-committee > On Behalf Of Iavor Diatchki Sent: 19 August 2020 18:48 To: ghc-steering-committee > Subject: [ghc-steering-committee] Meet during ICFP? Hello, I was wondering if folks would be interested in a quick video chat some time next week? We have met in person during past ICFPs, and I think it is fun to interact a little more directly with people, even if it happens quite rarely :) Potential topics to discuss could be: * how are things going with the committee---there doesn't seem to be much discussion happening on proposal, * I would like to hear more about the Haskell Foundation idea, and I think it might be easier to convey the vision in person, rather than trying to figure it out through the formal documents * There is a ticket about potentially defining a GHC2020 multi-extension: I think that's an interesting idea, but we may want to discuss (1) how do other folks feel about such a thing, (2) what's the most constructive way to make progress on this kind of topic, as there are likely going to be many different opinions on what GHC2020 should be. Thoughts? -Iavor _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee at haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee at haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee at haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee -------------- next part -------------- An HTML attachment was scrubbed... URL: From bravit111 at gmail.com Wed Aug 26 04:05:17 2020 From: bravit111 at gmail.com (Vitaly Bragilevsky) Date: Wed, 26 Aug 2020 07:05:17 +0300 Subject: [ghc-steering-committee] GHC proposals In-Reply-To: References: Message-ID: Hi Simon, I'd be happy to do that today. Vitaly вт, 25 авг. 2020 г. в 23:54, Simon Peyton Jones via ghc-steering-committee < ghc-steering-committee at haskell.org>: > Friends on the GHC Steering Committee, > > I’m giving a “state of GHC” report to the Haskell Implementors Workshop on > Friday. > > As part of that, last year I summarised the state of GHC proposals (see > attached slides). > > Would any of you have a moment to write a couple of slides about this > year’s activity, maybe in the same format, or really whatever you want? > I could do it, of course, but I’m running around writing all the **other** > slides, and I’d very much welcome your help. > > (Our peerless secretary Joachim is computationally disconnected, so he > can’t.) > > Thank you! > > Simon > > > > > > > > *From:* Joachim Breitner > *Sent:* 25 August 2020 20:49 > *To:* Simon Peyton Jones > *Subject:* Re: GHC proposals > > > > Hi Simon, > > I am travelling by bike and tent and without laptop right now. I might be > back by Thursday night, but cannot guarantee it. Maybe ask on the mailing > list if someone else can update the numbers? > > Cheers from > > 25.08.2020 20:37:43 Simon Peyton Jones : > > Joachim > > I’m giving a “stage of GHC” report to the Haskell Implementors Workshop on > Friday. > > As part of that, last year I summarised the state of GHC proposals (see > attached slides). > > Would you have a moment to write a couple of slides about this year’s > activity, maybe in the same format, or really whatever you want. > > Thanks! > > Simon > > _______________________________________________ > ghc-steering-committee mailing list > ghc-steering-committee at haskell.org > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee > -------------- next part -------------- An HTML attachment was scrubbed... URL: From iavor.diatchki at gmail.com Wed Aug 26 14:04:40 2020 From: iavor.diatchki at gmail.com (Iavor Diatchki) Date: Wed, 26 Aug 2020 07:04:40 -0700 Subject: [ghc-steering-committee] Meet during ICFP? In-Reply-To: References: <010f01741d26d6c1-487fc7e2-055f-4cd3-9b52-0eaf10360c4f-000000@us-east-2.amazonses.com> Message-ID: Ok, let's use this google meet instead: https://meet.google.com/qug-csco-dxg On Tue, Aug 25, 2020 at 1:55 PM Simon Peyton Jones wrote: > OK. that’s 1500 London time I think. I’ll be there! > > > Simon > > > > *From:* ghc-steering-committee > *On Behalf Of *Iavor Diatchki > *Sent:* 25 August 2020 20:20 > *To:* Alejandro Serrano Mena > *Cc:* ghc-steering-committee > *Subject:* Re: [ghc-steering-committee] Meet during ICFP? > > > > Hello, > > > > thanks to everyone who responded! It seems that the same two options > still accommodate the most folks, so I suggest we meet tomorrow, Wednesday, > the 26th, at 7am PDT / 2pm UTC. > > > > I looked on Clowdr, and it looks like we can create an ephemeral private > video room on the spot (in the People/Places menu), so I'll make one > tomorrow around the time of the meeting and invite everyone to join. > Let's plan to also be in the "Lobby" around that time, so we can find each > other easily, in case something goes wrong with the technology. > > > > Hope to see you tomorrow, > > -Iavor > > > > > > > > > > > > > > > > On Mon, Aug 24, 2020 at 7:52 AM Iavor Diatchki > wrote: > > Hello everyone, > > > > at present the two most popular times are: > > * Wednesday, 7am PDT / 2pm UTC (only Alejandro can't make this slot), > or > > * Thursday, 8am PDT / 3pm UTC (only Richard can't make this slot). > > > > Would one of these work better for Joachim, Simon M, Tom, or Cale? > > > > -Iavor > > > > > > > > On Mon, Aug 24, 2020 at 12:10 AM Alejandro Serrano Mena > wrote: > > Done! Looking forward to seeing you all! > > > > Alejandro > > > > El dom., 23 ago. 2020 a las 23:08, Richard Eisenberg () > escribió: > > I've responded to the Doodle -- would be nice to meet up, if possible. > > > > Thanks for organizing, Iavor. > > > > Richard > > > > On Aug 23, 2020, at 12:59 PM, Iavor Diatchki > wrote: > > > > Hello, > > > > I've only heard from Eric, Vitaly, and Simon PJ, could other members of > the committee please fill out the Doodle, so we can pick a time? If none > of the times work, please respond with an email, or fill out the Doodle so > we can figure out what to do. > > > > -Iavor > > > > > > > > On Thu, Aug 20, 2020 at 10:25 AM Vitaly Bragilevsky > wrote: > > Hi, > > > > My phone managed to vote twice somehow, but I can't figure out if I can > remove one of the lines. > > > > Vitaly > > > > чт, 20 авг. 2020 г. в 20:02, Iavor Diatchki : > > Hello, > > > > I made a Doodle, please fill it out so we can pick a time that works for > everyone: > > https://doodle.com/poll/rr6qucs764sb7tfc > > > > > -Iavor > > > > > > On Thu, Aug 20, 2020 at 2:10 AM Simon Peyton Jones > wrote: > > Yes – excellent idea Iavor. Would you feel able to schedule it? > > > > Thanks! > > > > Simon > > > > *From:* ghc-steering-committee > *On Behalf Of *Iavor Diatchki > *Sent:* 19 August 2020 18:48 > *To:* ghc-steering-committee > *Subject:* [ghc-steering-committee] Meet during ICFP? > > > > Hello, > > > > I was wondering if folks would be interested in a quick video chat some > time next week? We have met in person during past ICFPs, and I think it > is fun to interact a little more directly with people, even if it happens > quite rarely :) > > > > Potential topics to discuss could be: > > * how are things going with the committee---there doesn't seem to be > much discussion happening on proposal, > > * I would like to hear more about the Haskell Foundation idea, and I > think it might be easier to convey the vision in person, rather than trying > to figure it out through the formal documents > > * There is a ticket about potentially defining a GHC2020 > multi-extension: I think that's an interesting idea, but we may want to > discuss (1) how do other folks feel about such a thing, (2) what's the most > constructive way to make progress on this kind of topic, as there are > likely going to be many different opinions on what GHC2020 should be. > > > > Thoughts? > > -Iavor > > > > _______________________________________________ > ghc-steering-committee mailing list > ghc-steering-committee at haskell.org > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee > > > _______________________________________________ > ghc-steering-committee mailing list > ghc-steering-committee at haskell.org > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee > > > > > _______________________________________________ > ghc-steering-committee mailing list > ghc-steering-committee at haskell.org > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee > > > -------------- next part -------------- An HTML attachment was scrubbed... URL: From simonpj at microsoft.com Thu Aug 27 10:04:26 2020 From: simonpj at microsoft.com (Simon Peyton Jones) Date: Thu, 27 Aug 2020 10:04:26 +0000 Subject: [ghc-steering-committee] GHC proposals In-Reply-To: References: Message-ID: Thank you so much Vitaly. That’s really helpful. I appreciate it. Simon From: Vitaly Bragilevsky Sent: 26 August 2020 14:28 To: Simon Peyton Jones Subject: Re: [ghc-steering-committee] GHC proposals Hi Simon, I've updated the slides: numbers, list of accepted proposals, list of members. I've also added a slide on the changes in the committee process we've adopted since the last year. They were listed as open problems previously. Hopefully, this helps! Vitaly ср, 26 авг. 2020 г. в 07:05, Vitaly Bragilevsky >: Hi Simon, I'd be happy to do that today. Vitaly вт, 25 авг. 2020 г. в 23:54, Simon Peyton Jones via ghc-steering-committee >: Friends on the GHC Steering Committee, I’m giving a “state of GHC” report to the Haskell Implementors Workshop on Friday. As part of that, last year I summarised the state of GHC proposals (see attached slides). Would any of you have a moment to write a couple of slides about this year’s activity, maybe in the same format, or really whatever you want? I could do it, of course, but I’m running around writing all the *other* slides, and I’d very much welcome your help. (Our peerless secretary Joachim is computationally disconnected, so he can’t.) Thank you! Simon From: Joachim Breitner > Sent: 25 August 2020 20:49 To: Simon Peyton Jones > Subject: Re: GHC proposals Hi Simon, I am travelling by bike and tent and without laptop right now. I might be back by Thursday night, but cannot guarantee it. Maybe ask on the mailing list if someone else can update the numbers? Cheers from 25.08.2020 20:37:43 Simon Peyton Jones >: Joachim I’m giving a “stage of GHC” report to the Haskell Implementors Workshop on Friday. As part of that, last year I summarised the state of GHC proposals (see attached slides). Would you have a moment to write a couple of slides about this year’s activity, maybe in the same format, or really whatever you want. Thanks! Simon _______________________________________________ ghc-steering-committee mailing list ghc-steering-committee at haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee -------------- next part -------------- An HTML attachment was scrubbed... URL: From mail at joachim-breitner.de Fri Aug 28 06:34:22 2020 From: mail at joachim-breitner.de (Joachim Breitner) Date: Fri, 28 Aug 2020 08:34:22 +0200 Subject: [ghc-steering-committee] Meet during ICFP? In-Reply-To: References: <010f01741d26d6c1-487fc7e2-055f-4cd3-9b52-0eaf10360c4f-000000@us-east-2.amazonses.com> Message-ID: <1d5392123d94600ad0deced0d6b936ccbac42dda.camel@joachim-breitner.de> Hi, I was traveling offline, so I missed that meeting. Did it happen? Did someone take notes or can summarize the discussion? Cheers, Joachim Am Dienstag, den 25.08.2020, 12:19 -0700 schrieb Iavor Diatchki: > Hello, > > thanks to everyone who responded! It seems that the same two options still accommodate the most folks, so I suggest we meet tomorrow, Wednesday, the 26th, at 7am PDT / 2pm UTC. > > I looked on Clowdr, and it looks like we can create an ephemeral private video room on the spot (in the People/Places menu), so I'll make one tomorrow around the time of the meeting and invite everyone to join. Let's plan to also be in the "Lobby" around that time, so we can find each other easily, in case something goes wrong with the technology. > > Hope to see you tomorrow, > -Iavor > > > > > > > > On Mon, Aug 24, 2020 at 7:52 AM Iavor Diatchki wrote: > > Hello everyone, > > > > at present the two most popular times are: > > * Wednesday, 7am PDT / 2pm UTC (only Alejandro can't make this slot), or > > * Thursday, 8am PDT / 3pm UTC (only Richard can't make this slot). > > > > Would one of these work better for Joachim, Simon M, Tom, or Cale? > > > > -Iavor > > > > > > > > On Mon, Aug 24, 2020 at 12:10 AM Alejandro Serrano Mena wrote: > > > Done! Looking forward to seeing you all! > > > > > > Alejandro > > > > > > El dom., 23 ago. 2020 a las 23:08, Richard Eisenberg () escribió: > > > > I've responded to the Doodle -- would be nice to meet up, if possible. > > > > > > > > Thanks for organizing, Iavor. > > > > > > > > Richard > > > > > > > > > On Aug 23, 2020, at 12:59 PM, Iavor Diatchki wrote: > > > > > > > > > > Hello, > > > > > > > > > > I've only heard from Eric, Vitaly, and Simon PJ, could other members of the committee please fill out the Doodle, so we can pick a time? If none of the times work, please respond with an email, or fill out the Doodle so we can figure out what to do. > > > > > > > > > > -Iavor > > > > > > > > > > > > > > > > > > > > On Thu, Aug 20, 2020 at 10:25 AM Vitaly Bragilevsky wrote: > > > > > > Hi, > > > > > > > > > > > > My phone managed to vote twice somehow, but I can't figure out if I can remove one of the lines. > > > > > > > > > > > > Vitaly > > > > > > > > > > > > чт, 20 авг. 2020 г. в 20:02, Iavor Diatchki : > > > > > > > Hello, > > > > > > > > > > > > > > I made a Doodle, please fill it out so we can pick a time that works for everyone: > > > > > > > https://doodle.com/poll/rr6qucs764sb7tfc > > > > > > > > > > > > > > -Iavor > > > > > > > > > > > > > > > > > > > > > On Thu, Aug 20, 2020 at 2:10 AM Simon Peyton Jones wrote: > > > > > > > > Yes – excellent idea Iavor. Would you feel able to schedule it? > > > > > > > > > > > > > > > > Thanks! > > > > > > > > > > > > > > > > Simon > > > > > > > > > > > > > > > > From: ghc-steering-committee On Behalf Of Iavor Diatchki > > > > > > > > Sent: 19 August 2020 18:48 > > > > > > > > To: ghc-steering-committee > > > > > > > > Subject: [ghc-steering-committee] Meet during ICFP? > > > > > > > > > > > > > > > > Hello, > > > > > > > > > > > > > > > > I was wondering if folks would be interested in a quick video chat some time next week? We have met in person during past ICFPs, and I think it is fun to interact a little more directly with people, even if it happens quite rarely :) > > > > > > > > > > > > > > > > Potential topics to discuss could be: > > > > > > > > * how are things going with the committee---there doesn't seem to be much discussion happening on proposal, > > > > > > > > * I would like to hear more about the Haskell Foundation idea, and I think it might be easier to convey the vision in person, rather than trying to figure it out through the formal documents > > > > > > > > * There is a ticket about potentially defining a GHC2020 multi-extension: I think that's an interesting idea, but we may want to discuss (1) how do other folks feel about such a thing, (2) what's the most constructive way to make progress on this kind of topic, as there are likely going to be many different opinions on what GHC2020 should be. > > > > > > > > > > > > > > > > Thoughts? > > > > > > > > -Iavor > > > > > > > > > > > > > > > > > > > > > > _______________________________________________ > > > > > > > ghc-steering-committee mailing list > > > > > > > ghc-steering-committee at haskell.org > > > > > > > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee > > > > > > > > > > _______________________________________________ > > > > > ghc-steering-committee mailing list > > > > > ghc-steering-committee at haskell.org > > > > > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee > > > > > > > > _______________________________________________ > > > > ghc-steering-committee mailing list > > > > ghc-steering-committee at haskell.org > > > > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee > > _______________________________________________ > ghc-steering-committee mailing list > ghc-steering-committee at haskell.org > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee -- Joachim Breitner mail at joachim-breitner.de http://www.joachim-breitner.de/ From simonpj at microsoft.com Fri Aug 28 07:47:44 2020 From: simonpj at microsoft.com (Simon Peyton Jones) Date: Fri, 28 Aug 2020 07:47:44 +0000 Subject: [ghc-steering-committee] Meet during ICFP? In-Reply-To: <1d5392123d94600ad0deced0d6b936ccbac42dda.camel@joachim-breitner.de> References: <010f01741d26d6c1-487fc7e2-055f-4cd3-9b52-0eaf10360c4f-000000@us-east-2.amazonses.com> <1d5392123d94600ad0deced0d6b936ccbac42dda.camel@joachim-breitner.de> Message-ID: Richard is going to summarise | -----Original Message----- | From: ghc-steering-committee On | Behalf Of Joachim Breitner | Sent: 28 August 2020 07:34 | To: ghc-steering-committee at haskell.org | Subject: Re: [ghc-steering-committee] Meet during ICFP? | | Hi, | | I was traveling offline, so I missed that meeting. Did it happen? Did | someone take notes or can summarize the discussion? | | Cheers, | Joachim | | Am Dienstag, den 25.08.2020, 12:19 -0700 schrieb Iavor Diatchki: | > Hello, | > | > thanks to everyone who responded! It seems that the same two options | still accommodate the most folks, so I suggest we meet tomorrow, Wednesday, | the 26th, at 7am PDT / 2pm UTC. | > | > I looked on Clowdr, and it looks like we can create an ephemeral private | video room on the spot (in the People/Places menu), so I'll make one | tomorrow around the time of the meeting and invite everyone to join. Let's | plan to also be in the "Lobby" around that time, so we can find each other | easily, in case something goes wrong with the technology. | > | > Hope to see you tomorrow, | > -Iavor | > | > | > | > | > | > | > | > On Mon, Aug 24, 2020 at 7:52 AM Iavor Diatchki | wrote: | > > Hello everyone, | > > | > > at present the two most popular times are: | > > * Wednesday, 7am PDT / 2pm UTC (only Alejandro can't make this | slot), or | > > * Thursday, 8am PDT / 3pm UTC (only Richard can't make this slot). | > > | > > Would one of these work better for Joachim, Simon M, Tom, or Cale? | > > | > > -Iavor | > > | > > | > > | > > On Mon, Aug 24, 2020 at 12:10 AM Alejandro Serrano Mena | wrote: | > > > Done! Looking forward to seeing you all! | > > > | > > > Alejandro | > > > | > > > El dom., 23 ago. 2020 a las 23:08, Richard Eisenberg | () escribió: | > > > > I've responded to the Doodle -- would be nice to meet up, if | possible. | > > > > | > > > > Thanks for organizing, Iavor. | > > > > | > > > > Richard | > > > > | > > > > > On Aug 23, 2020, at 12:59 PM, Iavor Diatchki | wrote: | > > > > > | > > > > > Hello, | > > > > > | > > > > > I've only heard from Eric, Vitaly, and Simon PJ, could other | members of the committee please fill out the Doodle, so we can pick a time? | If none of the times work, please respond with an email, or fill out the | Doodle so we can figure out what to do. | > > > > > | > > > > > -Iavor | > > > > > | > > > > > | > > > > > | > > > > > On Thu, Aug 20, 2020 at 10:25 AM Vitaly Bragilevsky | wrote: | > > > > > > Hi, | > > > > > > | > > > > > > My phone managed to vote twice somehow, but I can't figure out | if I can remove one of the lines. | > > > > > > | > > > > > > Vitaly | > > > > > > | > > > > > > чт, 20 авг. 2020 г. в 20:02, Iavor Diatchki | : | > > > > > > > Hello, | > > > > > > > | > > > > > > > I made a Doodle, please fill it out so we can pick a time that | works for everyone: | > > > > > > > | https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fdoodle.com | %2Fpoll%2Frr6qucs764sb7tfc&data=02%7C01%7Csimonpj%40microsoft.com%7C2824 | b1cfd5ef416520a908d84b1c77a8%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63 | 7341933717569180&sdata=CwBfz7YAHwVftCcJOozQXTwehWqDE27RAv1IjgqAmX8%3D&am | p;reserved=0 | > > > > > > > | > > > > > > > -Iavor | > > > > > > > | > > > > > > > | > > > > > > > On Thu, Aug 20, 2020 at 2:10 AM Simon Peyton Jones | wrote: | > > > > > > > > Yes – excellent idea Iavor. Would you feel able to | schedule it? | > > > > > > > > | > > > > > > > > Thanks! | > > > > > > > > | > > > > > > > > Simon | > > > > > > > > | > > > > > > > > From: ghc-steering-committee On Behalf Of Iavor Diatchki | > > > > > > > > Sent: 19 August 2020 18:48 | > > > > > > > > To: ghc-steering-committee | > > > > > > > > Subject: [ghc-steering-committee] Meet during ICFP? | > > > > > > > > | > > > > > > > > Hello, | > > > > > > > > | > > > > > > > > I was wondering if folks would be interested in a quick | video chat some time next week? We have met in person during past ICFPs, | and I think it is fun to interact a little more directly with people, even | if it happens quite rarely :) | > > > > > > > > | > > > > > > > > Potential topics to discuss could be: | > > > > > > > > * how are things going with the committee---there doesn't | seem to be much discussion happening on proposal, | > > > > > > > > * I would like to hear more about the Haskell Foundation | idea, and I think it might be easier to convey the vision in person, rather | than trying to figure it out through the formal documents | > > > > > > > > * There is a ticket about potentially defining a GHC2020 | multi-extension: I think that's an interesting idea, but we may want to | discuss (1) how do other folks feel about such a thing, (2) what's the most | constructive way to make progress on this kind of topic, as there are likely | going to be many different opinions on what GHC2020 should be. | > > > > > > > > | > > > > > > > > Thoughts? | > > > > > > > > -Iavor | > > > > > > > > | > > > > > > > | > > > > > > > _______________________________________________ | > > > > > > > ghc-steering-committee mailing list | > > > > > > > ghc-steering-committee at haskell.org | > > > > > > > | https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haske | ll.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering- | committee&data=02%7C01%7Csimonpj%40microsoft.com%7C2824b1cfd5ef416520a90 | 8d84b1c77a8%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637341933717569180& | amp;sdata=K3arhnSBk%2FJsFeJStQ1%2BDDNGhSfevyrjepdUBriwwss%3D&reserved=0 | > > > > > | > > > > > _______________________________________________ | > > > > > ghc-steering-committee mailing list | > > > > > ghc-steering-committee at haskell.org | > > > > > | https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haske | ll.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering- | committee&data=02%7C01%7Csimonpj%40microsoft.com%7C2824b1cfd5ef416520a90 | 8d84b1c77a8%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637341933717569180& | amp;sdata=K3arhnSBk%2FJsFeJStQ1%2BDDNGhSfevyrjepdUBriwwss%3D&reserved=0 | > > > > | > > > > _______________________________________________ | > > > > ghc-steering-committee mailing list | > > > > ghc-steering-committee at haskell.org | > > > > | https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haske | ll.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering- | committee&data=02%7C01%7Csimonpj%40microsoft.com%7C2824b1cfd5ef416520a90 | 8d84b1c77a8%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637341933717569180& | amp;sdata=K3arhnSBk%2FJsFeJStQ1%2BDDNGhSfevyrjepdUBriwwss%3D&reserved=0 | > | > _______________________________________________ | > ghc-steering-committee mailing list | > ghc-steering-committee at haskell.org | > | https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haske | ll.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering- | committee&data=02%7C01%7Csimonpj%40microsoft.com%7C2824b1cfd5ef416520a90 | 8d84b1c77a8%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637341933717569180& | amp;sdata=K3arhnSBk%2FJsFeJStQ1%2BDDNGhSfevyrjepdUBriwwss%3D&reserved=0 | -- | Joachim Breitner | mail at joachim-breitner.de | | https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim | - | breitner.de%2F&data=02%7C01%7Csimonpj%40microsoft.com%7C2824b1cfd5ef4165 | 20a908d84b1c77a8%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63734193371756 | 9180&sdata=Y6IwYgSG%2BOfmd8VcezusYoHxufmno4VxEheCGfKEL70%3D&reserved | =0 | | | _______________________________________________ | ghc-steering-committee mailing list | ghc-steering-committee at haskell.org | https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haske | ll.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering- | committee&data=02%7C01%7Csimonpj%40microsoft.com%7C2824b1cfd5ef416520a90 | 8d84b1c77a8%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637341933717569180& | amp;sdata=K3arhnSBk%2FJsFeJStQ1%2BDDNGhSfevyrjepdUBriwwss%3D&reserved=0 From arnaud.spiwack at tweag.io Fri Aug 28 12:34:51 2020 From: arnaud.spiwack at tweag.io (Spiwack, Arnaud) Date: Fri, 28 Aug 2020 14:34:51 +0200 Subject: [ghc-steering-committee] Attempt at clarifying the template language Message-ID: Dear all, I just wrote a short PR[1] which attempts to clarify the language in the template. Trying to dispel some confusion that seems to frequently arise as to what our expectations are, for proposals. Basically, I tried to announce more clearly the things I believe we find ourselves in need to say to proposal authors often about the purpose of sections. I probably forgot some. So bring in your shepperd experience. [1]: https://github.com/ghc-proposals/ghc-proposals/pull/358 -------------- next part -------------- An HTML attachment was scrubbed... URL: From mail at joachim-breitner.de Sat Aug 29 15:28:49 2020 From: mail at joachim-breitner.de (Joachim Breitner) Date: Sat, 29 Aug 2020 17:28:49 +0200 Subject: [ghc-steering-committee] Bang patterns: 343 In-Reply-To: References: Message-ID: Hi, a bit late to act, but it seems we have clear consensus about rejecting this in the current form. Marking as such. Cheers, Joachim Am Dienstag, den 28.07.2020, 11:05 +0200 schrieb Spiwack, Arnaud: > Dear all, > > I agree that this proposal doesn't make that much sense on its own. But it does raise a good point. Maybe it's a sign that it's time to have a conversation about defaults. I don't know where and how this conversation ought to take place. But maybe GHC's default need not be those of Haskell 2010. > > On Tue, Jul 28, 2020 at 10:20 AM Tom Harding wrote: > > Seconded, and very keen on the idea of collective synonyms as a more lightweight alternative to regularly-updated language specifications. > > > > Cheers, > > Tom > > > > > On 28 Jul 2020, at 09:13, Alejandro Serrano Mena wrote: > > > > > > I agree with the rejection. My main concern, as shared by others in the thread, is why this specific extension and not others. > > > > > > I am really looking forward to the addition of synonyms for a bunch of extensions. Personally, I would love to see a way to enable every "additive" extension (I am thinking of MultiParamTypeClasses + FlexibleThings + ViewAndBangPatterns + ...). I would be happy to help with setting up the process. > > > > > > Regards, > > > Alejandro > > > > > > El mar., 28 jul. 2020 a las 10:03, Simon Peyton Jones via ghc-steering-committee () escribió: > > > > Friends > > > > Despite asking, I’m not seeing any support for proposal 343 “Enable bang patterns by default”, except from the author. He makes a good case, but I think it’s a case that you could make for quite a few extensions. > > > > I propose that we reject the proposal as written. Any objections? > > > > That leaves the wider question, best summarised by Joachim’s post: we could occasionally add a new synonym for a bunch of extensions. I suppose we’d have to (a) debate and decide that process and (b) execute on the process. Perhaps that’d be useful but it’s all work. Let’s first see if there is real support for doing it. If so, probably the best thing would be for someone who wants it to happen to write a proposal (as Joachim has started) describing the process. > > > > Simon > > > > > > > > _______________________________________________ > > > > ghc-steering-committee mailing list > > > > ghc-steering-committee at haskell.org > > > > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee > > > > > > > > > > _______________________________________________ > > > ghc-steering-committee mailing list > > > ghc-steering-committee at haskell.org > > > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee > > > > _______________________________________________ > > ghc-steering-committee mailing list > > ghc-steering-committee at haskell.org > > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee > > _______________________________________________ > ghc-steering-committee mailing list > ghc-steering-committee at haskell.org > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee -- Joachim Breitner mail at joachim-breitner.de http://www.joachim-breitner.de/ From mail at joachim-breitner.de Sat Aug 29 15:36:50 2020 From: mail at joachim-breitner.de (Joachim Breitner) Date: Sat, 29 Aug 2020 17:36:50 +0200 Subject: [ghc-steering-committee] Status Message-ID: <7e322ace11bd12d89b8a87b9cce9313af8dc064f.camel@joachim-breitner.de> Dear Committee, no longer monthly, but still happening: Regular status updates. So what has happened in the last 4 months? * Chris Allen stepped down from the committee. Thanks for your work, Chris. * There was discussion about more rigid rules for the constitution of the committee. * There was a meeting during ICFP, Richard will summarize. * we were asked to review these proposals: #303: Constraint based arrow notation, new shepherd: Alejandro #275: Rebindable Application, shepherd: Richard #292: ByteArray Literals, shepherd: Vitaly #333: Defer Parse Errors, shepherd: Tom #344: Negative Literals Improved, shepherd: Joachim #343: BangPatterns by default, shepherd: SPJ * we have a recommendation from the shepherd about: #320: clsdfltassoctypinst in bckpck&.hs-boot (rec: accept) #195: Make Q (TExp a) into a newtype (rec: accept) #270: Extend Term-Level Lookup Rules (rec: reject) #274: Quicklook impredicativity (rec: accept) #344: Negative Literals Improved (rec: accept) #343: BangPatterns by default (rec: reject) * we have sent the following proposals back to revision #303: Constraint based arrow notation #292: ByteArray Literals #319: NoFallibleDo proposal * we decided about the following proposals #285: -XNoImplicitForAll (accept) #216: QualifiedDo (accept) #320: clsdfltassoctypinst in bckpck&.hs-boot (accept) #195: Make Q (TExp a) into a newtype (accept) #274: Quicklook impredicativity (accept) #344: Negative Literals Improved (accept) #343: BangPatterns by default (reject) We currently have to act on the following 2 proposals, down by 5. Good work! ## Waiting for committee decision none! ## Waiting for Shepherd action #333: Defer Parse Errors, Shepherd: Tom Tom, is this ready for Committee consideration? #302: Layout and Guards in Lambda Expressions, Shepherd: Cale Cale, it is high time to jump into action here! Cheers, Joachim -- Joachim Breitner mail at joachim-breitner.de http://www.joachim-breitner.de/ From iavor.diatchki at gmail.com Sat Aug 29 19:30:54 2020 From: iavor.diatchki at gmail.com (Iavor Diatchki) Date: Sat, 29 Aug 2020 12:30:54 -0700 Subject: [ghc-steering-committee] GHC 2020 Message-ID: Hello, I just had some fun and went through the list of GHC extensions in the manual, thinking of which ones might make a reasonable subset for a potential GHC2020. Below is the list I came up with. My reasoning was, roughy: * I wouldn't mind if these were on all the time * It is unlikely that turning on the extension will break something dramatically * It is unlikely that using the extension might lead to errors * The extensions are somewhat coherent * I explicitly included extensions that I personally don't use much, but I've heard that others like I wonder what others think of this list? What would you add/remove? -Iavor BlockArguments EmptyCase EmptyDatadecls ExplicitNamespaces ImportQualifiedPost LambdaCase MultiWayIf StandaloneDeriving BinaryLiterals HexFloatLiterals NumericUnderscores NamedFieldPuns RecordWildCards TupleSections ApplicativeDo RecursiveDo ParallelListComp BangPatterns PatternSynonyms ViewPatterns PatternGuards ForeignFunctionInterface CApiFFI RankNTypes ExistentialQuantification ScopedTypeVariables TypeSynonymInstances ConstraintKinds StandaloneKindSignatures KindSignatures TypeOperators -------------- next part -------------- An HTML attachment was scrubbed... URL: From eric at seidel.io Sun Aug 30 04:10:30 2020 From: eric at seidel.io (Eric Seidel) Date: Sat, 29 Aug 2020 22:10:30 -0600 Subject: [ghc-steering-committee] GHC 2020 In-Reply-To: References: Message-ID: <54445e0c-4643-45b8-8665-03153b55bd3d@www.fastmail.com> I'd be happy with most of these extensions. The ones that stand out to me as warranting some discussion are: - RecordWildCards: Personally, I really like this extension, but I know that it's somewhat controversial in the broader community. The concern is that it makes it hard to tell where variables are bound. - ApplicativeDo: I've never used this extension, but I seem to recall there being some sharp edges around its current implementation. Maybe Simon M can correct me. - FFI: I don't think it hurts to enable this extension globally, but it's also a niche enough usecase that I don't see much benefit either. When I've worked with the FFI in the past, I would usually try to isolate all FFI code to a single module anyway, and then layer a more Haskelly API on top. So this one feels pretty similar to MagicHash to me, which we agreed didn't make sense as part of a GHC2020. In addition, I would add TypeApplications, and at least consider adding OverloadedStrings and perhaps OverloadedLists. On Sat, Aug 29, 2020, at 13:30, Iavor Diatchki wrote: > Hello, > > I just had some fun and went through the list of GHC extensions in the > manual, thinking of which ones might make a reasonable subset for a > potential GHC2020. Below is the list I came up with. My reasoning > was, roughy: > * I wouldn't mind if these were on all the time > * It is unlikely that turning on the extension will break something > dramatically > * It is unlikely that using the extension might lead to errors > * The extensions are somewhat coherent > * I explicitly included extensions that I personally don't use much, > but I've heard that others like > > I wonder what others think of this list? What would you add/remove? > > -Iavor > > > BlockArguments > EmptyCase > EmptyDatadecls > ExplicitNamespaces > ImportQualifiedPost > LambdaCase > MultiWayIf > StandaloneDeriving > > BinaryLiterals > HexFloatLiterals > NumericUnderscores > > NamedFieldPuns > RecordWildCards > TupleSections > > ApplicativeDo > RecursiveDo > ParallelListComp > > BangPatterns > PatternSynonyms > ViewPatterns > PatternGuards > > ForeignFunctionInterface > CApiFFI > > RankNTypes > ExistentialQuantification > ScopedTypeVariables > TypeSynonymInstances > ConstraintKinds > StandaloneKindSignatures > KindSignatures > TypeOperators > _______________________________________________ > ghc-steering-committee mailing list > ghc-steering-committee at haskell.org > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee > From mail at joachim-breitner.de Sun Aug 30 07:11:18 2020 From: mail at joachim-breitner.de (Joachim Breitner) Date: Sun, 30 Aug 2020 09:11:18 +0200 Subject: [ghc-steering-committee] GHC 2020 In-Reply-To: <54445e0c-4643-45b8-8665-03153b55bd3d@www.fastmail.com> References: <54445e0c-4643-45b8-8665-03153b55bd3d@www.fastmail.com> Message-ID: Hi, this is going to be a fun thread :-). Iavors list makes sense to me. Didn’t go through the list of extensions that he did not include, though. Am Samstag, den 29.08.2020, 22:10 -0600 schrieb Eric Seidel: > - RecordWildCards: Personally, I really like this extension, but I > know that it's somewhat controversial in the broader community. The > concern is that it makes it hard to tell where variables are bound. I wouldn’t worry about enabling the extension; you’d still have to actually write {..} to get the behavior, readers will at least know whether it is hard to tell where variables are abound. > at least consider adding OverloadedStrings and perhaps > OverloadedLists. I regularly write code where I use a library that only works nice if "foo" is monomorphic, because such strings are meant to be used in polymorphic contexts. With OverloadedStrings, you get ambiguity errors that you have to resolve with explicit type annotations. So unfortunately, that one probably can’t be on by default. Which is a shame, of course. (Maybe we need {-# LANGUAGE TextStrings #-} or something like that to get the benefit of text-by-default and the benefit of monomorphic code… getting off topic here, though.) Cheers, Joachim -- Joachim Breitner mail at joachim-breitner.de http://www.joachim-breitner.de/ From eric at seidel.io Mon Aug 31 03:51:14 2020 From: eric at seidel.io (Eric Seidel) Date: Sun, 30 Aug 2020 23:51:14 -0400 Subject: [ghc-steering-committee] GHC 2020 In-Reply-To: References: <54445e0c-4643-45b8-8665-03153b55bd3d@www.fastmail.com> Message-ID: <53a0f464-65f7-48f4-9dc6-b7b490b2c9b2@www.fastmail.com> On Sun, Aug 30, 2020, at 03:11, Joachim Breitner wrote: > I wouldn’t worry about enabling the extension; you’d still have to > actually write {..} to get the behavior, readers will at least know > whether it is hard to tell where variables are abound. I agree, but this is a concern that comes up often, so we should be prepared to address it. > > at least consider adding OverloadedStrings and perhaps > > OverloadedLists. > > > I regularly write code where I use a library that only works nice if > "foo" is monomorphic, because such strings are meant to be used in > polymorphic contexts. With OverloadedStrings, you get ambiguity errors > that you have to resolve with explicit type annotations. So > unfortunately, that one probably can’t be on by default. Which is a > shame, of course. Interesting, I think I can count on one hand the number of times OverloadedStrings has caused an ambiguity error for me. What libraries do you use that are polymorphic in the string type? From mail at joachim-breitner.de Mon Aug 31 08:15:53 2020 From: mail at joachim-breitner.de (Joachim Breitner) Date: Mon, 31 Aug 2020 10:15:53 +0200 Subject: [ghc-steering-committee] GHC 2020 In-Reply-To: <53a0f464-65f7-48f4-9dc6-b7b490b2c9b2@www.fastmail.com> References: <54445e0c-4643-45b8-8665-03153b55bd3d@www.fastmail.com> <53a0f464-65f7-48f4-9dc6-b7b490b2c9b2@www.fastmail.com> Message-ID: <818a18122a21bddbec09ce8d6da7dd8b4acc0a02.camel@joachim-breitner.de> Hi, Am Sonntag, den 30.08.2020, 23:51 -0400 schrieb Eric Seidel: > Interesting, I think I can count on one hand the number of times > OverloadedStrings has caused an ambiguity error for me. What > libraries do you use that are polymorphic in the string type? hmm, I don’t remember. It must have been code that deals with keys or labels of sorts, but it’s not aeson… sorry. Maybe I’ll remember later. Cheers, Joachim -- Joachim Breitner mail at joachim-breitner.de http://www.joachim-breitner.de/ From iavor.diatchki at gmail.com Mon Aug 31 16:35:53 2020 From: iavor.diatchki at gmail.com (Iavor Diatchki) Date: Mon, 31 Aug 2020 09:35:53 -0700 Subject: [ghc-steering-committee] GHC 2020 In-Reply-To: <818a18122a21bddbec09ce8d6da7dd8b4acc0a02.camel@joachim-breitner.de> References: <54445e0c-4643-45b8-8665-03153b55bd3d@www.fastmail.com> <53a0f464-65f7-48f4-9dc6-b7b490b2c9b2@www.fastmail.com> <818a18122a21bddbec09ce8d6da7dd8b4acc0a02.camel@joachim-breitner.de> Message-ID: Hi, yeah, I use `OverloadedStrings` all the time too, but didn't include it for the reason Joachim mentioned. For me one common pattern where ambiguity occurs is indeed with `aeson`, for example if you are encoding tagged sums you may write: ``` object [ "tag" .= ("inLeft" :: Text) ] ``` The type signature is required so that the `.=` operator knows how to make the JSON value. I don't think that's a big deal, and it's easy to work around (I typically make a helper function for making that field). I'd be OK with it being always on, but I didn't add it as it does require you to change your code sometimes. As for `RecordWildcards`, I do like the extension as it can make code significantly more readable in some situations (single record manipulation, or constructing large records, especially when effects are involved). I know some folks don't like it, but I hope we can get the extension included in the list, as it is not something that can be used "by accident" and also, using it does not affect a function's interface in any way. I feel `LambdaCase` is another extension in the same group---in this case I don't really like the extension, but I know other folks like it, so I think it'd be reasonable to add (although I did see we have a proposal for an incompatible alternative, so we'll have to see what to do about that) -Iavor On Mon, Aug 31, 2020 at 1:16 AM Joachim Breitner wrote: > Hi, > > Am Sonntag, den 30.08.2020, 23:51 -0400 schrieb Eric Seidel: > > Interesting, I think I can count on one hand the number of times > > OverloadedStrings has caused an ambiguity error for me. What > > libraries do you use that are polymorphic in the string type? > > hmm, I don’t remember. It must have been code that deals with keys or > labels of sorts, but it’s not aeson… sorry. Maybe I’ll remember later. > > Cheers, > Joachim > > > > -- > Joachim Breitner > mail at joachim-breitner.de > http://www.joachim-breitner.de/ > > > _______________________________________________ > ghc-steering-committee mailing list > ghc-steering-committee at haskell.org > https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee > -------------- next part -------------- An HTML attachment was scrubbed... URL: From rae at richarde.dev Mon Aug 31 18:55:14 2020 From: rae at richarde.dev (Richard Eisenberg) Date: Mon, 31 Aug 2020 18:55:14 +0000 Subject: [ghc-steering-committee] GHC 2020 In-Reply-To: References: Message-ID: <010f017445df958a-5e0f4a7c-e31c-4c21-891d-422854d3ec96-000000@us-east-2.amazonses.com> A fun way to start the fall. (Today is my daughter's first day of "school". This defines the beginning of fall.) Thanks, Iavor, for kicking this off. I initially wrote a long email in this space, with numbered criteria (heavily based on Iavor's suggestions) and my thoughts on the individual extensions proposed. But I realized this would quickly grow unwieldy. I thus have created https://github.com/ghc-proposals/ghc-proposals/wiki/GHC2020, where I propose we track this conversation. Specifically: arguments for or against an individual extension should go right on the wiki, labeled with the author's name/initials. This preserves these arguments for later. Then, to keep the conversation moving, write back to this list just mentioning which extensions you've commented on. Please review the criteria on the wiki page. Do you agree with what I've put forward? I've commented on the following extensions: ApplicativeDo CApiFFI EmptyCase ExplicitNamespaces ForeignFunctionInterface LambdaCase MultiWayIf NamedFieldPuns OverloadedLists OverloadedStrings PatternSynonyms RecordWildCards ScopedTypeVariables StandaloneKindSignatures TupleSections TypeOperators I have added these new extensions for consideration: MultiParamTypeClasses ImplicitParams FlexibleContexts FlexibleInstances GeneralizedNewtypeDeriving DeriveDataTypeable DeriveGeneric DefaultSignatures InstanceSigs ConstrainedClassMethods ExplicitForAll DeriveFunctor DeriveTraversable DeriveFoldable PolyKinds RoleAnnotations NegativeLiterals DeriveAnyClass DeriveLift DerivingStrategies EmptyDataDeriving Looking forward to seeing your thoughts here! Richard