it's because how easily hackable and dynamic python is, you can even do things like modify the AST of a function at runtime, or pull the stack frame out and inspect it at runtime, which makes it possible to write some wacky contracts that's basically impossible in many other languages
cypix314123 That’s interesting and puzzling. How are they going to implement it? Seems to me there will be lots of extra new syntax, which would make contracts much, much less readable than just regular comments.
@@magno5157 I don't really know. I think they will use the C++ attribute syntax. I stop working with C++ at C++14 and I heard that about contracts on C++ podcast. I found this www.modernescpp.com/index.php/c-core-guidelines-a-detour-to-contracts int push(queue& q, int val) [[ expects: !q.full() ]] [[ ensures !q.empty() ]]{ ... [[assert: q.is_ok() ]] ... }
Yawn. Yet another talk with contrived examples designed to justify the existence of non-necessary packages that are not worth the tiny benefit they provide.