<div dir="ltr"><div dir="ltr">Hi, I implement my own design-by-contract module. You can see it here:  <a href="https://github.com/AlanCristhian/eiffel">https://github.com/AlanCristhian/eiffel</a><br></div><div dir="ltr"><br></div><div>I did this as an experiment, I have no real life experience with the design by contract approach.</div></div><br><div class="gmail_quote"><div dir="ltr">El mar., 2 oct. 2018 a las 2:28, Marko Ristin-Kaufmann (<<a href="mailto:marko.ristin@gmail.com">marko.ristin@gmail.com</a>>) escribió:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div dir="ltr"><div dir="ltr">Hi Steven (D'Aprano),<br><br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><span class="m_6367525784516583691gmail-il">Right</span> now, that choice is very restrictive, and I personally don't like <br>
the look and feel of existing contract libraries. I would give my <span class="m_6367525784516583691gmail-il">right</span> <br>
<span class="m_6367525784516583691gmail-il">eye</span> for Cobra-like syntax for contracts in Python:<br>
<br>
<a href="http://cobra-language.com/trac/cobra/wiki/Contracts" rel="noreferrer" target="_blank">http://cobra-language.com/trac/cobra/wiki/Contracts</a><br></blockquote><br></div>You might be interested in the discussion on transpiling contracts back and forth. See the other thread  "Transpile contracts" and the issue in github: <a href="https://github.com/Parquery/icontract/issues/48" target="_blank">https://github.com/Parquery/icontract/issues/48</a><br></div></div>
_______________________________________________<br>
Python-ideas mailing list<br>
<a href="mailto:Python-ideas@python.org" target="_blank">Python-ideas@python.org</a><br>
<a href="https://mail.python.org/mailman/listinfo/python-ideas" rel="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" target="_blank">http://python.org/psf/codeofconduct/</a><br>
</blockquote></div>