Nick Coghlan <ncoghlan <at> gmail.com> writes: > On 31 May 2016 3:12 pm, "Glenn Linderman" <v+python <at> 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?
[...] > > 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. sure, it was 15 years ago, parallel processing was not so widely widespread. but looking at synonyms for parallel, i stumbed upon: counterpart, analog, miror, etc. and then from here: countertype ... my 2 cents. renaud [...] > Cheers, > Nick. _______________________________________________ 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
