<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Date: Wed, 3 Aug 2016 16:53:55 -0700<br>
From: Guido van Rossum <br>
<br>
On Wed, Aug 3, 2016 at 3:02 PM, Pavol Lisy <<a href="mailto:pavol.lisy@gmail.com" target="_blank">pavol.lisy@gmail.com</a>> wrote:<br><br>
> def fnc():<br>
>   global a: list<br>
<br>
I'm not proposing to add such syntax, and the right place for the type<br>
of a would be at the global level, not on the `global` syatement.<br></blockquote></div><div>If 'a'  is only read, it looks like a sensible way to state that this function should be called only when 'a'  is a list. It's not the same as a global type declaration. More like a parameter type hint.</div><div><br></div><div>If 'a'  is written to, it is very similar to the 'if else' example. </div><div><br></div><div>(which, if I may add, is usually defined as the meet of the assertions. If we talk about abstract interpretation frameworks) </div>