[ghc-steering-committee] Record dot syntax: tally preview

[Simon Peyton Jones]

I dislike C4 because

  *   it adds something that binds more tightly than application
  *   it closes the path chained applications, which I expect may prove desirable in future

I note that C2b is more conservative than C2a; in particular, C2b does not require the complexity of  Note 5.

Simon

From: ghc-steering-committee <ghc-steering-committee-bounces at haskell.org> On Behalf Of Iavor Diatchki
Sent: 25 March 2020 15:57
To: Joachim Breitner <mail at joachim-breitner.de>
Cc: ghc-steering-committee <ghc-steering-committee at haskell.org>
Subject: Re: [ghc-steering-committee] Record dot syntax: tally preview

Interesting.  It is quite surprising to me that people prefer C2a to C4, when they are basically the same thing, except C4 is easier to specify/implement. C2a is basically C4 but with some additional work to prohibit white white space between the selector and the preceding expression (whatever that means exactly).



On Wed, Mar 25, 2020 at 2:35 AM Joachim Breitner <mail at joachim-breitner.de<mailto:mail at joachim-breitner.de>> wrote:
Hi,

if we had a simpler voting scheme, it would be obvious to everyone
where wer are standing. But I don’t expect that any of us can just
glance at the Google Sheet and see how things are standing.

But this obscurity is of course not intended!

So to give a preview (with Simon Marlow’s vote still missing, and of
course everyone still able to refine their votes) we currently have
this result:

C2a > C2b > C4 > C6 = C1 > C3 = C7 > C5

where C2a beats all other options by 6:4 or more.

In a way, C2a is one of the less bold moves. It is a typical property
of ranked voting schemes that they tend to elect more moderate options.

Fun fact: While we have a natural Condorcet winner (an option preferred
over any other option by a majority), we do not have a Condorcet loser:
_Every_ option is preferred over some other option by a majority,
because C5 beats C1, C1 beats C3, C3 beats C5.

(Now I wonder: did I confuse C2a and C2b in my vote last week? What was
my intention back then? Not sure any more… I guess I valued the concept
that you can take `x` and replace it with `(f x)` without affecting the
surrounding concepts.)


Cheers,
Joachim



--
Joachim Breitner
  mail at joachim-breitner.de<mailto:mail at joachim-breitner.de>
  http://www.joachim-breitner.de/<https://nam06.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.joachim-breitner.de%2F&data=02%7C01%7Csimonpj%40microsoft.com%7C25ebb96f33624d30726908d7d0d5262a%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637207486200192346&sdata=B%2FuWFt1iFf4PRJpWq%2F9nB8aDRtcv6wKH792zdnXkJhQ%3D&reserved=0>


_______________________________________________
ghc-steering-committee mailing list
ghc-steering-committee at haskell.org<mailto:ghc-steering-committee at haskell.org>
https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fghc-steering-committee&data=02%7C01%7Csimonpj%40microsoft.com%7C25ebb96f33624d30726908d7d0d5262a%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637207486200192346&sdata=dlcuojBQXTlRURbL5PB76TfhJ0sUffrQKDFzK3Sc6IE%3D&reserved=0>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-steering-committee/attachments/20200325/4b9ee386/attachment-0001.html>