On 05/31/2016 08:58 PM, Nick Coghlan wrote:
On 31 May 2016 3:12 pm, "Glenn Linderman" <v+pyt...@g.nevcal.com> wrote:
On 5/31/2016 12:55 PM, rndblnch wrote:
Guido van Rossum <gvanrossum <at> 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.
back in high school, i was introduced to c programming with the
"disciplined
C" preprocessor [0].
it made the distinction between information type and representation type
(e.g. between the semantic and the implementation).
those new types where created using typedefs and were named 'parallel
types'
below is the relevant part of the dcc presentation:
Interesting! Prior art. And parallel type isn't a bad name...
If I heard "parallel type", I'd assume it had something to do with parallel
processing.
This also happens to me every time I read it.
_______________________________________________
Python-Dev mailing list
Python-Dev@python.org
https://mail.python.org/mailman/listinfo/python-dev
Unsubscribe:
https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
