<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 31 December 2016 at 05:53, Ethan Furman <span dir="ltr"><<a href="mailto:ethan@stoneleaf.us" target="_blank">ethan@stoneleaf.us</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 12/30/2016 07:10 AM, Chris Angelico wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Actually, that makes a lot of sense. And since "property" isn't magic<br>
syntax, you could take it sooner:<br>
<br>
from somewhere import property<br>
<br>
and toy with it that way.<br>
<br>
What module would be appropriate, though?<br>
</blockquote>
<br></span>
Well, DynamicClassAttribute is kept in the types module, so that's probably the place to put optionalproperty as well.<br></blockquote><div><br></div></div>I'd also be OK with just leaving it as a builtin.<br><br></div><div class="gmail_extra">Cheers,<br></div><div class="gmail_extra">Nick.<br clear="all"></div><div class="gmail_extra"><br>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">Nick Coghlan   |   <a href="mailto:ncoghlan@gmail.com" target="_blank">ncoghlan@gmail.com</a>   |   Brisbane, Australia</div>
</div></div>