Re: [PHP-DEV] The @@ is terrible, are we sure we're OK with it?

This is only part of a thread. view whole thread
  111130
July 22, 2020 16:51 derick@php.net (Derick Rethans)
On Wed, 22 Jul 2020, Dik Takken wrote:

> We do not know what the @@ voters would have chosen if the choice was > between << >> and #[]. In case the @@ voters have a preference for > <<>> the result could turn out differently. The only way to know is to > take another vote.
This is something that STV is specifically designed to solve. You rank in order by preference. And @@, <<>>, and #[] were all three options. In your example, these people would have marked @@ as first, <<>> as second, and #[] as third. cheers, Derick
  111135
July 22, 2020 19:24 d.h.j.takken@freedom.nl (Dik Takken)
On 22-07-2020 18:51, Derick Rethans wrote:
> This is something that STV is specifically designed to solve. You rank > in order by preference. And @@, <<>>, and #[] were all three options. > > In your example, these people would have marked @@ as first, <<>> as > second, and #[] as third.
Ah, that was not clear to me. My apologies for the noise. Thanks, Dik