[ghc-steering-committee] Proposal #302: Multiway lambda: new extension or not?

Sat Sep 18 09:40:04 UTC 2021

I've voted to extend LambdaCase. I prefer thinking that the backward
incompatibility problem, in this case, is negligible.

Vitaly

пт, 17 сент. 2021 г. в 13:25, Simon Peyton Jones via ghc-steering-committee
<ghc-steering-committee at haskell.org>:

> Vitaly, Tom
>
> Are you there?  I’d love to hear from you about this.
>
> Thanks
>
> Simon
>
>
>
> PS: I am leaving Microsoft at the end of November 2021, at which point
> simonpj at microsoft.com will cease to work.  Use simon.peytonjones at gmail.com
> instead.  (For now, it just forwards to simonpj at microsoft.com.)
>
>
>
> *From:* Simon Peyton Jones <simonpj at microsoft.com>
> *Sent:* 15 September 2021 13:00
> *To:* ghc-steering-committee at haskell.org
> *Cc:* Simon Peyton Jones <simonpj at microsoft.com>
> *Subject:* RE: [ghc-steering-committee] Proposal #302: Multiway lambda:
> new extension or not?
>
>
>
> Vitaly, Eric, Tom, Alejandro
>
> As Joachim says, we need to make a decision on the LambdaCase flag issue.
> It’s a judgement call, so let’s just vote.
>
> Here is the voting sheet
> <https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fdocs.google.com%2Fdocument%2Fd%2F1NDXk5kKcLtkqhkSNESAC9jVrBn3yqS_Qe1vacAIKnDs%2Fedit%3Fusp%3Dsharing&data=04%7C01%7Csimonpj%40microsoft.com%7Cb511339e197947e7541d08d9784067da%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637673040277542395%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=jzU6mlExltnKz2q0FPK%2Bm5wTCqXANQJMD7cmJESk85Q%3D&reserved=0>.
> I have filled in votes from Simon, myself, Joacim, Richard, Vlad.  But four
> of us (in the to: line) have not expressed an opinion. Could you do so
> please, in the next day or two?  It should take you 5 minutes.
>
> Thanks
>
> Simon
>
>
>
>
>
>
>
>
>
> PS: I am leaving Microsoft at the end of November 2021, at which point
> simonpj at microsoft.com will cease to work.  Use simon.peytonjones at gmail.com
> instead.  (For now, it just forwards to simonpj at microsoft.com.)
>
>
>
> |  -----Original Message-----
>
> |  From: ghc-steering-committee <ghc-steering-committee-
>
> |  bounces at haskell.org> On Behalf Of Joachim Breitner
>
> |  Sent: 14 September 2021 08:39
>
> |  To: ghc-steering-committee at haskell.org
>
> |  Subject: Re: [ghc-steering-committee] Proposal #302: Multiway lambda:
>
> |  new extension or not?
>
> |
>
> |  Hi,
>
> |
>
> |
>
> |  on the multiway-lambda story, we have voted to add \cases alongside
>
> |  \case. But one open question is still: Do we
>
> |   (1) add -XLambdaCases (which would imply -XLambdaCase) or
>
> |   (2) simply expand the meaning of -XLambdaCase.
>
> |
>
> |  On the Github thread at
>
> |  https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgith
> <https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F302%23issuecomment-895080031&data=04%7C01%7Csimonpj%40microsoft.com%7Cb511339e197947e7541d08d9784067da%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637673040277552385%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=UQfSypCiZZsQP%2Bu8DD%2BrWAl%2BbVysyXwYkwWJSrvdGH0%3D&reserved=0>
>
> |  ub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F302%23issuecomment-
> <https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F302%23issuecomment-895080031&data=04%7C01%7Csimonpj%40microsoft.com%7Cb511339e197947e7541d08d9784067da%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637673040277552385%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=UQfSypCiZZsQP%2Bu8DD%2BrWAl%2BbVysyXwYkwWJSrvdGH0%3D&reserved=0>
>
> |  895080031&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a8831943459
> <https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F302%23issuecomment-895080031&data=04%7C01%7Csimonpj%40microsoft.com%7Cb511339e197947e7541d08d9784067da%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637673040277562383%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=Fz8Ac4%2FZsxyb%2BZTVzPf4vLUrBW2aLyWkHHVk96Kl86Q%3D&reserved=0>
>
> |  9cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6376720
> <https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F302%23issuecomment-895080031&data=04%7C01%7Csimonpj%40microsoft.com%7Cb511339e197947e7541d08d9784067da%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637673040277572379%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=ZvWJy8VOnYChUkEu0Uz3I3i4txgrawqt06KdkKlvdts%3D&reserved=0>
>
> |  20597687362%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMz
> <https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F302%23issuecomment-895080031&data=04%7C01%7Csimonpj%40microsoft.com%7Cb511339e197947e7541d08d9784067da%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637673040277582374%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=AnU0eKL8ak%2FVQXBYaGgc972ZFJQyh1wMKyFazp%2Fgg60%3D&reserved=0>
>
> |  IiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=2ySitCA%2FT1uUznezDY
> <https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F302%23issuecomment-895080031&data=04%7C01%7Csimonpj%40microsoft.com%7Cb511339e197947e7541d08d9784067da%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637673040277582374%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=AnU0eKL8ak%2FVQXBYaGgc972ZFJQyh1wMKyFazp%2Fgg60%3D&reserved=0>
>
> |  UKIO8g2ImLMKlnxm1OpKOXKZg%3D&reserved=0
> <https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2Fghc-proposals%2Fghc-proposals%2Fpull%2F302%23issuecomment-895080031&data=04%7C01%7Csimonpj%40microsoft.com%7Cb511339e197947e7541d08d9784067da%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637673040277592367%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=W9Rq1zlL1DXKExX%2B2XLVl0olo74BKhF1JuelgGySimI%3D&reserved=0>
>
> |  we see that I lean towards (1), but SPJ leands towards (2).
>
> |
>
> |  It doesn’t matter that much, but we need to make a decision. Can I
>
> |  please get some opinions from the rest of the committee on this point?
>
> |
>
> |  Cheers,
>
> |  Joachim
>
> |
>
> |
>
> |  --
>
> |  Joachim Breitner
>
> |    mail at joachim-breitner.de
>
> |
>
> |  https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.j
> <https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim-breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cb511339e197947e7541d08d9784067da%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637673040277602365%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=Dlo%2FKTIzbaLYOyi0%2F0rk9U7ZXoRpCMg7TQrq4g7vj9E%3D&reserved=0>
>
> |  oachim-
> <https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim-breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cb511339e197947e7541d08d9784067da%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637673040277602365%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=Dlo%2FKTIzbaLYOyi0%2F0rk9U7ZXoRpCMg7TQrq4g7vj9E%3D&reserved=0>
>
> |  breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a88319
> <https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim-breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cb511339e197947e7541d08d9784067da%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637673040277612365%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=raBLXrB3GJ2oSrmIysrHs0X%2FtzPlt3hojkvp6v3lVdU%3D&reserved=0>
>
> |  434599cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C63
> <https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim-breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cb511339e197947e7541d08d9784067da%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637673040277622356%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=8gwNMFe4MOayMSiczhBy16AvhKiaq7TY%2BuWcNjoAr%2FQ%3D&reserved=0>
>
> |  7672020597697367%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV
> <https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim-breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cb511339e197947e7541d08d9784067da%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637673040277622356%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=8gwNMFe4MOayMSiczhBy16AvhKiaq7TY%2BuWcNjoAr%2FQ%3D&reserved=0>
>
> |  2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=unmdYu9zUy00ec4
> <https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim-breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cb511339e197947e7541d08d9784067da%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637673040277632352%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=dNhxQH7oR41rjrD7USKU%2F2Rhm%2Bo2qnQFoKdi3WjoqIc%3D&reserved=0>
>
> |  21KJYmL9I2ZO%2BlIx5J9cLw27GnmI%3D&reserved=0
> <https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim-breitner.de%2F&data=04%7C01%7Csimonpj%40microsoft.com%7Cb511339e197947e7541d08d9784067da%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637673040277642348%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=UrzlZdQeq29XEiWbdAeQH%2BGi4%2BpOIqka6IeJ%2BAuJ9qc%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
> <https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committee&data=04%7C01%7Csimonpj%40microsoft.com%7Cb511339e197947e7541d08d9784067da%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637673040277652345%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=ZNSPu2k360KVWAJ9poqlO56owNYi5pxCS8P6vvEpyUE%3D&reserved=0>
>
> |  .haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-
> <https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committee&data=04%7C01%7Csimonpj%40microsoft.com%7Cb511339e197947e7541d08d9784067da%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637673040277652345%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=ZNSPu2k360KVWAJ9poqlO56owNYi5pxCS8P6vvEpyUE%3D&reserved=0>
>
> |  committee&data=04%7C01%7Csimonpj%40microsoft.com%7Cea35a8831943459
> <https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committee&data=04%7C01%7Csimonpj%40microsoft.com%7Cb511339e197947e7541d08d9784067da%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637673040277662342%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=LSFYEN4qQBFd7t4o2CGuEyjUibTaZvdjDgzunCNl2YU%3D&reserved=0>
>
> |  9cce708d97752bd08%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C6376720
> <https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committee&data=04%7C01%7Csimonpj%40microsoft.com%7Cb511339e197947e7541d08d9784067da%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637673040277672335%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=1QJDcC8pGcNlNNpUkLZ%2B%2FTjLeDpXPCf7sIDI0%2FtT1FU%3D&reserved=0>
>
> |  20597697367%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMz
> <https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committee&data=04%7C01%7Csimonpj%40microsoft.com%7Cb511339e197947e7541d08d9784067da%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637673040277672335%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=1QJDcC8pGcNlNNpUkLZ%2B%2FTjLeDpXPCf7sIDI0%2FtT1FU%3D&reserved=0>
>
> |  IiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=TG3t%2Fw1kFLk173SoM5
> <https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committee&data=04%7C01%7Csimonpj%40microsoft.com%7Cb511339e197947e7541d08d9784067da%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637673040277682330%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=87FhXp16tqtDe3%2BB099uId0JRDBhSf5uaxKC9Lg%2Bh%2BQ%3D&reserved=0>
>
> |  soHU39BlAPv76TY%2B9FNetaLJs%3D&reserved=0
> <https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committee&data=04%7C01%7Csimonpj%40microsoft.com%7Cb511339e197947e7541d08d9784067da%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637673040277692329%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=olFbP%2BA3I3L4lBZxAcO%2FGPS8LqhCBamQC6oo0560lEg%3D&reserved=0>
> _______________________________________________
> 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: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20210918/26bba217/attachment-0001.html>