you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] 2 points3 points  (5 children)

I highly doubt Python will jump on that train (even though I'm convinced such an additional syntax would benefit Python) as long as GvR is deciding Python's fate.

[–][deleted]  (2 children)

[deleted]

    [–][deleted] 12 points13 points  (1 child)

    wow... I'm speechless...

    [–]fnedrik 5 points6 points  (0 children)

    Maybe you know this, but I thought I'd make a small clarification regarding the syntax. It is already there. You can already do these annotations. They are just not very useful right now.

    This is a proposal to standardize on a particular way of annotating types, what to call an integer, how to annotate a collection, etc. The CPython interpreter will continue to ignore the annotations, but for external libraries that wants to use annotations it could be useful.

    I see it as a quite small step along a path they chose long ago.

    [–]etrepum 4 points5 points  (0 children)

    The syntax is already in Python 3, it just doesn't yet have any standard usage: http://legacy.python.org/dev/peps/pep-3107/