Re: The @@ is terrible, are we sure we're OK with it?
| From: | Derick Rethans | Date: | Wed, 22 Jul 2020 16:51:40 +0000 |
| Subject: | Re: The @@ is terrible, are we sure we're OK with it? | ||
| References: | 1 2 3 4 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-111130@lists.php.net to get a copy of this message | ||
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