<div dir="ltr"><div><div><div><div>On 28 May 2016 at 06:26, Guido van Rossum <<a href="mailto:guido@python.org">guido@python.org</a>> wrote:<br><br>> Personally I'm still in favor of Derived type (but I'm more into<br>> ancient programming languages than most folks here). I could also live<br>> with Distinguished Type.<br><br></div>I think both "derived" and "distinguished" are OK, but I am more in favour of "distinguished".<br></div>The reason  is sometimes people might talk about derived types while meaning normal derived classes.<br></div>Also, indeed "distinguished" is a rare word, so that it will not cause confusions and easy to look up.<br><br>--<br></div>Ivan<br><div><div><div><br></div></div></div></div>