Re: [Python-Dev] Adding NewType() to PEP 484

2016-05-31 Thread Bernardo Sulzbach
On 05/31/2016 08:58 PM, Nick Coghlan wrote: On 31 May 2016 3:12 pm, "Glenn Linderman" wrote: On 5/31/2016 12:55 PM, rndblnch wrote: Guido van Rossum gmail.com> writes: Also -- the most important thing. What to call these things? We're pretty much settled on the semantics and how to crea

Re: [Python-Dev] Adding NewType() to PEP 484

2016-05-31 Thread Glenn Linderman
On 5/31/2016 4:58 PM, Nick Coghlan wrote: On 31 May 2016 3:12 pm, "Glenn Linderman" > wrote: > > On 5/31/2016 12:55 PM, rndblnch wrote: >> >> Guido van Rossum gmail.com > writes: >> >>> >>> Also -- the most important thing. What to call these

Re: [Python-Dev] Adding NewType() to PEP 484

2016-05-31 Thread Nick Coghlan
On 31 May 2016 3:12 pm, "Glenn Linderman" wrote: > > On 5/31/2016 12:55 PM, rndblnch wrote: >> >> Guido van Rossum gmail.com> writes: >> >>> >>> Also -- the most important thing. What to call these things? We're >>> pretty much settled on the semantics and how to create them (A = >>> NewType('A'

Re: [Python-Dev] Adding NewType() to PEP 484

2016-05-31 Thread Glenn Linderman
On 5/31/2016 12:55 PM, rndblnch wrote: Guido van Rossum gmail.com> writes: Also -- the most important thing. What to call these things? We're pretty much settled on the semantics and how to create them (A = NewType('A', int)) but what should we call types like A when we're talking about them?

Re: [Python-Dev] Adding NewType() to PEP 484

2016-05-31 Thread rndblnch
Guido van Rossum gmail.com> writes: > > Also -- the most important thing. What to call these things? We're > pretty much settled on the semantics and how to create them (A = > NewType('A', int)) but what should we call types like A when we're > talking about them? "New types" sounds awkward. b