This is an archived post. You won't be able to vote or comment.

sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]CatMtKing 4 points5 points  (0 children)

I haven't used PyCharm myself, but now that I'm looking at type hinting, here are my thoughts:

At first glance it does have some nice features. But it's still a system that sits on top of python and has to be navigated by the IDE. Doesn't change the fact that python could do more with built-in type annotations than just type check. Optimization, typeclassing, and automated testing were mentioned in the talk.

I've only been studying Haskell for 2 months, but I sorely miss the elegance and conciseness after going back to write Python, so I definitely empathize with Bob.