tag:blogger.com,1999:blog-4195135246107166251.post8854185106045973213..comments2023-05-08T07:04:09.641-07:00Comments on Neopythonic: Adding type annotations for fspathGuido van Rossumhttp://www.blogger.com/profile/12821714508588242516noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-4195135246107166251.post-85922353503565445492016-05-18T11:35:24.699-07:002016-05-18T11:35:24.699-07:00This is definitely advanced material! I wrote thes...This is definitely advanced material! I wrote these blog posts because I had written about this in the discussion for PEP 519 and Brett Cannon said he hadn't known about AnyStr. But you should definitely start with a gentler intro -- not PEP 484 itself. Perhaps PEP 483 for the theory, and mypy.readthedocs.io for a tutorial.Guido van Rossumhttps://www.blogger.com/profile/12821714508588242516noreply@blogger.comtag:blogger.com,1999:blog-4195135246107166251.post-48789028350458009222016-05-18T11:30:37.060-07:002016-05-18T11:30:37.060-07:00I know that you are very much excited about type a...I know that you are very much excited about type annotation and mypy, and I assume these things are good ideas for many use cases. But I could hardly follow your last two blog entries. For me, all this is complicated. Possibly, everyday use is simpler ... I remember how I hated the idea of decorators when they were first published (and the @ syntax for that matter) and how I enjoy using them today. I truly hope to be positively surprised again. ;-)Torsten Brongerhttps://www.blogger.com/profile/12132338443044788865noreply@blogger.comtag:blogger.com,1999:blog-4195135246107166251.post-26644249000237407462016-05-18T11:00:52.148-07:002016-05-18T11:00:52.148-07:00I think this a premature push. While progressive ...I think this a premature push. While progressive type checking is a step toward capturing and enforcing developer intent, this standardization is too soon. Consider type annotation mini-languages, e.g., <i>def graph(rotate:"int>0<180", xs:[int+], data:[[[float?]]")</i>, which has terrible run-time characteristics but allows a developer to convey constraints and complex types. It may be a foolish path, but we don't know yet.Unknownhttps://www.blogger.com/profile/11493817627819491043noreply@blogger.com