[ghc-steering-committee] #302 \cases

Simon Peyton Jones simonpj at microsoft.com
Tue Jul 27 21:40:20 UTC 2021


Dear steering committee,

See below - it seems that (1) is the winner.  I have recorded the results on our document here<https://docs.google.com/document/d/1NDXk5kKcLtkqhkSNESAC9jVrBn3yqS_Qe1vacAIKnDs/edit?usp=sharing>.

I'll post on the GitHub.

Thanks for participating in this.  I think this ranked-preference voting works well when it comes down to a balance of taste on syntax, so that complete unanimity is unreasonable expectation.

Simon

From: Joachim Breitner <mail at joachim-breitner.de>
Sent: 26 July 2021 21:19
To: Simon Peyton Jones <simonpj at microsoft.com>
Subject: Re: Running the voting algorithm

I'll do it by hand:


Votes:
1 > X > 2 = 4
2 > 4 > X > 1
1 > 4 > 2 > X
1 > X > 2 = 4
2 > 1 > X > 4
X > 1 > 2 = 4
1 > X > 2 = 4
1 > 2 > X > 4
1 > X > 2 = 4
2 > X > 1 > 4

Let's see if 1 is the winner:
1 beats 2 by 7 vs. 3 votes
1 beats 4 by 9 vs. 1 votes
1 beats X by 7 vs. 3 votes

The winner is 1.

(This tally was created on the phone in a tent on a mountain above a Norwegian fjord.)


26.07.2021 13:31:36 Simon Peyton Jones <simonpj at microsoft.com<mailto:simonpj at microsoft.com>>:
Joachim
We have votes for \case, here https://docs.google.com/document/d/1NDXk5kKcLtkqhkSNESAC9jVrBn3yqS_Qe1vacAIKnDs/edit?usp=sharing<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%7C98104c338d60402e2ec308d950729efa%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637629275885272105%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=qf0QLREIPhi2c4q3p9TpKCjiY7zCOp0cU3CGNV3XiYM%3D&reserved=0>


Could you possibly run the voting algorithm - or tell me how to?
Thanks
Simon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20210727/c585ca28/attachment-0001.html>


More information about the ghc-steering-committee mailing list