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

-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: https://www.php.net/unsub.php

Reply via email to