<div dir="ltr">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).<div><br></div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, Mar 25, 2020 at 2:35 AM Joachim Breitner <<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi,<br>
<br>
if we had a simpler voting scheme, it would be obvious to everyone<br>
where wer are standing. But I don’t expect that any of us can just<br>
glance at the Google Sheet and see how things are standing.<br>
<br>
But this obscurity is of course not intended! <br>
<br>
So to give a preview (with Simon Marlow’s vote still missing, and of<br>
course everyone still able to refine their votes) we currently have<br>
this result:<br>
<br>
C2a > C2b > C4 > C6 = C1 > C3 = C7 > C5 <br>
<br>
where C2a beats all other options by 6:4 or more.<br>
<br>
In a way, C2a is one of the less bold moves. It is a typical property<br>
of ranked voting schemes that they tend to elect more moderate options.<br>
<br>
Fun fact: While we have a natural Condorcet winner (an option preferred<br>
over any other option by a majority), we do not have a Condorcet loser:<br>
_Every_ option is preferred over some other option by a majority,<br>
because C5 beats C1, C1 beats C3, C3 beats C5.<br>
<br>
(Now I wonder: did I confuse C2a and C2b in my vote last week? What was<br>
my intention back then? Not sure any more… I guess I valued the concept<br>
that you can take `x` and replace it with `(f x)` without affecting the<br>
surrounding concepts.)<br>
<br>
<br>
Cheers,<br>
Joachim<br>
<br>
<br>
<br>
-- <br>
Joachim Breitner<br>
  <a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a><br>
  <a href="http://www.joachim-breitner.de/" rel="noreferrer" target="_blank">http://www.joachim-breitner.de/</a><br>
<br>
<br>
_______________________________________________<br>
ghc-steering-committee mailing list<br>
<a href="mailto:ghc-steering-committee@haskell.org" target="_blank">ghc-steering-committee@haskell.org</a><br>
<a href="https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee" rel="noreferrer" target="_blank">https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee</a><br>
</blockquote></div>