<div dir="auto">Hi David,<div dir="auto">I'm writing contracts for pathlib as a proof-of-concept.</div><div dir="auto"><br></div><div dir="auto">See pypackagery for an example of a project on pypi that uses contracts:</div><div dir="auto"><a href="https://pypi.org/project/pypackagery/">https://pypi.org/project/pypackagery/</a><br></div><div dir="auto"><br></div><div dir="auto">The docs with contracts are available at:</div><div dir="auto"><a href="https://pypackagery.readthedocs.io/en/latest/packagery.html">https://pypackagery.readthedocs.io/en/latest/packagery.html</a><br></div><div dir="auto"><br></div><div dir="auto">Mind that the interface to icontract might change soon so I'd wait a month or two before it stabilizes.</div><div dir="auto"><br></div><div dir="auto">Cheers, </div><div dir="auto">Marko</div></div><br><div class="gmail_quote"><div dir="ltr">Le mer. 26 sept. 2018 à 20:12, David Stanek <<a href="mailto:dstanek@dstanek.com">dstanek@dstanek.com</a>> a écrit :<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On Wed, Sep 26, 2018 at 12:49 AM Marko Ristin-Kaufmann<br>
<<a href="mailto:marko.ristin@gmail.com" target="_blank" rel="noreferrer">marko.ristin@gmail.com</a>> wrote:<br>
><br>
>> An extraordinary claim is like "DbC can improve *every single project*<br>
>> on PyPI". That requires a TON of proof. Obviously we won't quibble if<br>
>> you can only demonstrate that 99.95% of them can be improved, but you<br>
>> have to at least show that the bulk of them can.<br>
><br>
><br>
> I tried to give the "proof" (not a formal one, though) in my previous message.<br>
><br>
<br>
I have to admit that I haven't kept up with the discussion today, but<br>
I was also hoping to see some proof. I'm genuinely interested in<br>
seeing if this is something that can help me and the teams I work<br>
with. I was very interested in DbC a long time ago, but never found a<br>
way to make it valuable to me.<br>
<br>
I'd like to see a project from PyPI converted to use DbC. This would<br>
make it easy to see the real world difference between an<br>
implementation developed using DbC compared to one that is well<br>
documented, tested and maybe even includes type hints. Toy or<br>
cherry-picked examples don't help me get a feel for it.<br>
<br>
-- <br>
david stanek<br>
web: <a href="https://dstanek.com" rel="noreferrer noreferrer" target="_blank">https://dstanek.com</a><br>
twitter: <a href="https://twitter.com/dstanek" rel="noreferrer noreferrer" target="_blank">https://twitter.com/dstanek</a><br>
linkedin: <a href="https://www.linkedin.com/in/dstanek/" rel="noreferrer noreferrer" target="_blank">https://www.linkedin.com/in/dstanek/</a><br>
_______________________________________________<br>
Python-ideas mailing list<br>
<a href="mailto:Python-ideas@python.org" target="_blank" rel="noreferrer">Python-ideas@python.org</a><br>
<a href="https://mail.python.org/mailman/listinfo/python-ideas" rel="noreferrer noreferrer" target="_blank">https://mail.python.org/mailman/listinfo/python-ideas</a><br>
Code of Conduct: <a href="http://python.org/psf/codeofconduct/" rel="noreferrer noreferrer" target="_blank">http://python.org/psf/codeofconduct/</a><br>
</blockquote></div>