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