Re:Python is becoming the world’s most popular programming l...
by austinpray on Wednesday October 10, 2018 @03:52AM
(#18182865)
What do you think of mypy? http://mypy-lang.org/
Re:Python is becoming the world’s most popular programming l...
by qalmakka on Wednesday October 10, 2018 @04:21AM
(#18182986)
It seems definitely promising; it depends on how much adoption it's going to take. Even the most interesting languages (like Nim, for instance) struggle these days without corporate backing.
Re:Python is becoming the world’s most popular programming l...
by drcongo on Wednesday October 10, 2018 @09:59AM
(#18184886)
Worth pointing out maybe that MyPy is not a language but a type checker that works with regular Python. I've been getting into the habit of using it on everything I do lately and find it extremely useful. You can even do runtime checking on the types with tools like Enforce [1], and the Molten framework that was posted on here last week [2] uses MyPy typing as a core part of the framework.
[1] https://github.com/RussBaz/enforce [2] https://news.ycombinator.com/item?id=18107818
I'm not arguing that it's not possible to do it; I just think that it requires a bit of extra steps and care to document which assumptions your code takes and how it behaves that could be more meaningfully described by a statically typed language. But these are just my 2 cents.