Re: [Python-ideas] DBC (Re: Explicit variable capture list)

On Wed, Jan 27, 2016 at 2:42 AM, Paul Moore wrote:

On 26 January 2016 at 15:24, Chris Angelico wrote:

...

This still has one nasty problem though: the requires and ensures functions can't see function arguments.

See my code - you can put the args onto the instance as attributes for requires/ensures to inspect.

Except that there can be only one of those at any given time, so you run into issues with recursion or threads/async/etc; plus, it's still not properly clean - you have to check either args or kwargs, depending on whether the argument was passed positionally or by keyword. I don't see that as a solution. (Maybe what we need is a "keyword-to-positional" functools feature - anything in **kwargs that can be interpreted positionally gets removed and added to *args. Or the other way - keywordify everything.) ChrisA