<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="gmail-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="gmail-il">right</span> <br>
<span class="gmail-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">https://github.com/Parquery/icontract/issues/48</a><br></div></div>