<div dir="ltr"><div class="gmail_default" style="font-family:monospace,monospace"><span style="font-family:arial,sans-serif">On Sun, Oct 29, 2017 at 1:44 PM, Paul Moore </span><span dir="ltr" style="font-family:arial,sans-serif"><<a href="mailto:p.f.moore@gmail.com" target="_blank">p.f.moore@gmail.com</a>></span><span style="font-family:arial,sans-serif"> wrote:</span><br></div><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 29 October 2017 at 09:51, Antoine Pitrou <<a href="mailto:solipsis@pitrou.net">solipsis@pitrou.net</a>> wrote:<br>
> On Sun, 29 Oct 2017 17:54:22 +1000<br>
> Nick Coghlan <<a href="mailto:ncoghlan@gmail.com">ncoghlan@gmail.com</a>> wrote:<br></span><span class="">>> All the proposal does is to suggest taking those existing recommendations<br>
>> from the documentation and converting them into a more readibly executable<br>
>> form.<br>
><br>
> I'm curious what such a list looks like :-)<br>
<br>
</span>I am also. I'd put requests on it immediately, but that's the only<br>
thing I consider obvious. regex is what triggered this, but I'm not<br>
sure it adds *that* much - it's a trade off between people who need<br>
the extra features and people confused over why we have two regex<br>
libraries available. After that, you're almost immediately into<br>
domain-specific answers, and it becomes tricky fast.<br></blockquote><div><br></div><div><div class="gmail_default" style="font-family:monospace,monospace">​If the list is otherwise not be long enough, maybe it will contain something that is now in the stdlib?-) </div><div class="gmail_default" style="font-family:monospace,monospace"><br></div><div class="gmail_default" style="font-family:monospace,monospace">-- Koos​</div><br></div><div> </div></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">+ Koos Zevenhoven + <a href="http://twitter.com/k7hoven" target="_blank">http://twitter.com/k7hoven</a> +</div>
</div></div>