Earlier quoted context omitted.
You think you're being downvoted because people like dynamic typing very much. You're being downvoted because: A) You left a comment with a strong opinion without expressing it while dismissing other peoples' experience B) Python is in fact a type safe language for a while now https://docs.python.org/3/library/typing.html - you have pluggable "a la bracha" types.
> Python is in fact a type safe language for a while now Well it has a typing mechanism, which is better than nothing, but has the mechanism been shown to be safe ? C has types too, but I'm not sure that it would be described as type safe.
The research I've seen is basically:
- Take a class room of independently selected subjects (read: CS undergrad students).
- Give them the same coding problem in multiple languages or in the same language with or without compile time type checking.
- Measure the number of defects said programs have and hopefully draw a conclusion about the safety of the language.
All the research I've read on the topic has been pretty poor (though maybe I'm just bad at finding it).
Indeed there is no such research for typed Python (although the pluggalbe types research in general is great) but there is also no such research (that I've found) for Idris, ReasonML, Swift, Haskell, Rust or any of the usual "suspects" for "good types".
Please enlighten me :]