<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On 14 June 2018 at 12:03, Daniel Sánchez Fábregas <span dir="ltr"><<a href="mailto:daniel.sanchez.fabregas@xunta.gal" target="_blank">daniel.sanchez.fabregas@xunta.gal</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">My idea consist in:<br>
Adding a method to perform type checking in traceback objects<br>
When printing stack traces search for mistyped arguments and warn about<br>
them to the user.<br>
<br>
Don't know if it is in the roadmap, but seems that have a good<br>
cost/benefit ratio to me.<br></blockquote><div><br></div><div>It seems to me too this will be rather a work for a static type checker like mypy.</div><div>There is a misconception that runtime objects can be attributed (or checked w.r.t.) static types,</div><div>but this is true only in simple cases.</div><div><br></div><div>Also such runtime check will be not able to correctly catch many type errors that can be</div><div>detected statically, like a wrong assignment or a Liskov violation.</div><div><br></div><div>--</div><div>Ivan</div><div><br></div><div><br></div></div></div></div>