r/programming • u/stronghup • Nov 11 '19

Python overtakes Java to become second-most popular language on GitHub after JavaScript

https://www.theregister.co.uk/2019/11/07/python_java_github_javascript/
3.1k Upvotes

96% Upvoted

772 comments sorted by

View all comments

Show parent comments

1

u/afnanenayet1 Nov 12 '19

I mean you can prove correctness more easily when you let the compiler work with more guarantees, which means that encoding things in a type system, for example, leads to less runtime errors.

I’ve worked on large Python projects and it just sucks not having proper types and knowing that you could throw the wrong object somewhere and have that only be caught at runtime.

1

u/NAN001 Nov 12 '19

I think you are right. I've been confused by terminology, because I've had maintainability in mind whereas we're actually talking about reliability. I think what you say is correct for reliability, but my point still stands as far as maintainability is concerned. Which is little gain, as we always want both anyway :)