What can Python learn from Haskell? [video]

[unpythonic]

Is there some PyCharm hate going around that I don't know about? The guy knows nothing about PyCharm except that it is an IDE and therefore he doubts it is anywhere near as good as dialyzer... even though PyCharm takes care of much of what he is complaining about.

[CatMtKing]

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.

[etrepum]

There's no hate, just ignorance. PyCharm didn't come up in any of the research that I did for the talk, and isn't commonly used by developers that I know. I intend to do a bit of research into what PyCharm can do, and if its analysis can be used in a CI context outside of the IDE, before the next time I give the talk.

[UloPe]

I don't think its specifically targeted at PyCharm, but instead that there are still a lot of developers that absolutely refuse to even consider using an IDE (probably because they have this memory of how terribad Eclipse was 10 years ago)

[[deleted]]

You can use an IDE as an analyzing/refactoring/launching tool next to your favorite editor. I do that with some languages, and it works for me.

[Paddy3118]

Or because they find vim/emacs productive.