Hi Steven (D'Aprano),

Right now, that choice is very restrictive, and I personally don't like
the look and feel of existing contract libraries. I would give my right
eye for Cobra-like syntax for contracts in Python:

http://cobra-language.com/trac/cobra/wiki/Contracts

You might be interested in the discussion on transpiling contracts back and forth. See the other thread  "Transpile contracts" and the issue in github: https://github.com/Parquery/icontract/issues/48