Re: [Python-Dev] Status of PEP 484 and the typing module

2015-05-22 Thread Guido van Rossum
On Fri, May 22, 2015 at 10:23 AM, Jim J. Jewett wrote: > > > At Thu May 21 22:27:50 CEST 2015, Guido wrote: > > > I want to encourage users to think about annotations as types, > > and for most users the distinction between type and class is > > too subtle, > > So what is the distinction that you

Re: [Python-Dev] Status of PEP 484 and the typing module

2015-05-22 Thread Jim J. Jewett
At Thu May 21 22:27:50 CEST 2015, Guido wrote: > I want to encourage users to think about annotations as types, > and for most users the distinction between type and class is > too subtle, So what is the distinction that you are trying to make? That a type refers to a variable (name), and a cl

Re: [Python-Dev] Status of PEP 484 and the typing module

2015-05-22 Thread Guido van Rossum
On Fri, May 22, 2015 at 9:45 AM, Jim J. Jewett wrote: > > > Mark Shannon wrote: > > > PY2, etc. really need to go. > > Assuming that this code type checks OK: > > > > if typing.PY2: > > type_safe_under_py2_only() > > else: > > type_safe_under_py3_only() > > > > Is the checker supposed

Re: [Python-Dev] Status of PEP 484 and the typing module

2015-05-22 Thread Jim J. Jewett
Mark Shannon wrote: > PY2, etc. really need to go. > Assuming that this code type checks OK: > > if typing.PY2: > type_safe_under_py2_only() > else: > type_safe_under_py3_only() > > Is the checker supposed to pass this: > > if sys.hexversion < 0x0300: > type_safe_under_py2_

Re: [Python-Dev] Status of PEP 484 and the typing module

2015-05-21 Thread Guido van Rossum
Things are looking up. I think we're down to a very small number of issues where we still disagree -- hopefully you'll allow me some leeway. :-) On Thu, May 21, 2015 at 8:45 AM, Mark Shannon wrote: > > > On 21/05/15 16:01, Guido van Rossum wrote: > >> Hi Mark, >> >> We're down to the last few it

Re: [Python-Dev] Status of PEP 484 and the typing module

2015-05-21 Thread Mark Shannon
On 21/05/15 16:01, Guido van Rossum wrote: Hi Mark, We're down to the last few items here. I'm CC'ing python-dev so folks can see how close we are. I'll answer point by point. On Thu, May 21, 2015 at 6:24 AM, Mark Shannon mailto:m...@hotpy.org>> wrote: Hi, The PEP itself is looking

Re: [Python-Dev] Status of PEP 484 and the typing module

2015-05-21 Thread Guido van Rossum
Hi Mark, We're down to the last few items here. I'm CC'ing python-dev so folks can see how close we are. I'll answer point by point. On Thu, May 21, 2015 at 6:24 AM, Mark Shannon wrote: > Hi, > > The PEP itself is looking fairly good. > I hope you'll accept it at least provisionally so we can