> Ah, interesting.   I guess Guido just didn't like part of the
> notation.    Note that the declaration doesn't actually do anything:
>
>>>> def f(a: int, b: float) -> (float, str):
> ...   print(a,b)
> ...
>>>> f(2.5,3)
> 2.5 3

Yeah, IIRC enforcing this was a non-starter, and the decision was to
give a syntax and a storage structure and leave any kind of action up
to the user.  This also makes all sorts of creative non-type
annotations possible, although admittedly I haven't really had cause
to use any of them yet.


Doug

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.


Reply via email to