Re: [Python-ideas] typing.modifiers

2016-09-16 Thread Steven D'Aprano
On Fri, Sep 16, 2016 at 12:10:22AM +, אלעזר wrote: [...] > Benefits of putting such a collection in stdlib (instead of as an external > package) include: Slow down! Before getting all excited about adding these typing hints(?) into typing.modifiers, you first have to convince people that the

Re: [Python-ideas] Adding bytes.frombuffer() constructor

2016-09-16 Thread INADA Naoki
>> >> The main question to be answered here would be whether adding a dedicated >> spelling for "bytes(memoryview(bytearray)[:n])" actually smooths out the >> learning curve for memoryview in general, where folks would learn: >> >> 1. "bytes(mybytearray[:n])" copies the data twice for no good reaso

Re: [Python-ideas] typing.modifiers

2016-09-16 Thread אלעזר
Thanks for the reply בתאריך יום ו׳, 16 בספט' 2016, 13:16, מאת Steven D'Aprano ‏< [email protected]>: > On Fri, Sep 16, 2016 at 12:10:22AM +, אלעזר wrote: > > [...] > > Benefits of putting such a collection in stdlib (instead of as an > external > > package) include: > > Slow down! Before ge

Re: [Python-ideas] typing.modifiers

2016-09-16 Thread אלעזר
> > > 1. This information can be used by typecheckers, and also by users, to >> > reason about programs. If isinstance(x, ImmutableArray), then x is an >> > instantiation of ImmutableArray. >> >> That's how type-checkers work. The class doesn't need to be in the std >> lib for a type-checker to rea

Re: [Python-ideas] typing.modifiers

2016-09-16 Thread אלעזר
On Fri, Sep 16, 2016 at 1:16 PM Steven D'Aprano wrote: > On Fri, Sep 16, 2016 at 12:10:22AM +, אלעזר wrote: > > [...] > > Benefits of putting such a collection in stdlib (instead of as an > external > > package) include: > > Slow down! Before getting all excited about adding these typing hint

Re: [Python-ideas] typing.modifiers

2016-09-16 Thread Paul Moore
On 16 September 2016 at 14:22, אלעזר wrote: > P.S. how do I change the name in my quotes? I believe אלעזר is not very easy > to address... As you're posting from a gmail account, it's likely your name from personal info in your Google Accounts settings. Your mail client (if it's not the gmail web

Re: [Python-ideas] typing.modifiers

2016-09-16 Thread Chris Angelico
On Fri, Sep 16, 2016 at 11:22 PM, אלעזר wrote: > P.S. how do I change the name in my quotes? I believe אלעזר is not very easy > to address... > TBH I wouldn't worry about it. If people can't cite names using Hebrew script, that's their problem, not yours. :) ChrisA __

Re: [Python-ideas] typing.modifiers

2016-09-16 Thread Alexander Belopolsky
On Fri, Sep 16, 2016 at 1:39 PM, Chris Angelico wrote: > If people can't cite names using Hebrew > script, that's their problem, not yours. :) > https://hg.python.org/cpython/rev/0308f97616a3 Enjoy! ___ Python-ideas mailing list [email protected]

Re: [Python-ideas] typing.modifiers

2016-09-16 Thread Steven D'Aprano
On Sat, Sep 17, 2016 at 03:39:08AM +1000, Chris Angelico wrote: > On Fri, Sep 16, 2016 at 11:22 PM, אלעזר wrote: > > P.S. how do I change the name in my quotes? I believe אלעזר is not very easy > > to address... > > > > TBH I wouldn't worry about it. If people can't cite names using Hebrew > scri