RetroSearch Browse

Thu Jul 12 12:23:55 EDT 2018 · https://mail.python.org/pipermail/python-dev/2018-July/154615.html

On Fri, Jul 13, 2018 at 12:48 AM Ivan Levkivskyi <levkivskyi at gmail.com> wrote:
>
> On 12 July 2018 at 16:41, Victor Stinner <vstinner at redhat.com> wrote:
>>
>> 2018-07-12 17:14 GMT+02:00 Abdur-Rahmaan Janhangeer <arj.python at gmail.com>:
>> > sorry for reviving the dead but community acceptance, a fundamental pep
>> > principle has not been respected for 572
>> >
>> > also 29 core devs dislike vs 3 like
>>
>> [...] *as the PEP evolved* in the meanwhile.
>
>
> Yes, the PEP has improved significantly since that time. My guess is the same poll taken now could give an opposite result.
>

I still -0 on PEP 572.  But strong -1 on restart discussion about changing it.
We should polish and implement it for now, not change.

-- 
INADA Naoki  <songofacandy at gmail.com>

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://mail.python.org/pipermail/python-dev/2018-July/154615.html below:

[Python-Dev] PEP 572: Do we really need a ":" in ":="?