News for hackers. Stuff that matters.

A comment on Statically-typed error handling in Python using Mypy. Parent comment

Re:Statically-typed error handling in Python using Mypy by erokar on Sunday December 08, 2019 @01:32PM (#21737314)
Research doesn't support the claim that there is a strong correlation between static typing and fewer bugs. Is your opinion based on your gut feeling, or do you have data on the matter that you can provide?

https://web.cs.ucdavis.edu/~filkov/papers/lang_github.pdf

[ Parent | on HN ]
Re:Statically-typed error handling in Python using Mypy by Reelin on Sunday December 08, 2019 @01:57PM (#21737483)
The type of bug (and related failure modes) is important though. Would you willingly board a plane if the avionics software and firmware had been written in a dynamically typed language?

Alternatively, usage of Rust may not be correlated with fewer bugs overall but I'd expect there to be fewer of the use-after-free variety.

[ Parent | on HN ]
Re:Statically-typed error handling in Python using Mypy by erokar on Sunday December 08, 2019 @04:33PM (#21738483)
I would prefer it to be written in something like Ada or Haskell, but I'd rather board a plane with avionics software written in Python than in Java.

I actually heard Aribus software is written in C++. If true it should scare the shit out of anyone.

[ Parent | on HN ]
Re:Statically-typed error handling in Python using Mypy by detaro on Sunday December 08, 2019 @05:53PM (#21739006)
As someone who enjoys Python quite a bit, I think Java has a lot of options that would be really important there that Python is lacking, like real-time support, and Python no real benefit.
[ Parent | on HN ]
Re:Statically-typed error handling in Python using Mypy by weberc2 on Monday December 09, 2019 @07:41AM (#21742092)
Space shuttle software is written in C, and lots of critical software is written in C++. Discipline, standards, and experience go a long way. Static verification is also nice.
[ Parent | on HN ]
Re:Statically-typed error handling in Python using Mypy by ksec on Sunday December 08, 2019 @05:43PM (#21738946)
I am seeing Ada poping up a lot more lately, is Ada still being used?
[ Parent | on HN ]
Re:Statically-typed error handling in Python using Mypy by dunkelheit on Sunday December 08, 2019 @01:48PM (#21737420)
The mere fact that something is "research" does not mean that it is credible. The study you reference in particular has a lot of issues: https://buttondown.email/hillelwayne/archive/science-turf-wa...
[ Parent | on HN ]
Re:Statically-typed error handling in Python using Mypy by erokar on Sunday December 08, 2019 @04:30PM (#21738463)
Of course, but research is still the best we have when it comes to support a claim or try to establish certain truths about the world.

If you don't believe the results of the study, please provide the counter evidence.

[ Parent | on HN ]
Re:Statically-typed error handling in Python using Mypy by dunkelheit on Sunday December 08, 2019 @06:05PM (#21739069)
Measuring programmer productivity is very hard using standard research tools so they are not necessarily the best we have. This is not physics.

Besides, all I wanted to do was to point out that you shouldn’t derive any conclusions from that study. I don’t need any counter evidence for that (apart from the evidence that the study is flawed of course).

[ Parent | on HN ]
Re:Statically-typed error handling in Python using Mypy by weberc2 on Sunday December 08, 2019 @09:07PM (#21739895)
I would say experience is the best we have.
[ Parent | on HN ]
Re:Statically-typed error handling in Python using Mypy by staticassertion on Sunday December 08, 2019 @01:51PM (#21737443)
Research is actually just all over the place (lots of papers come to many, many different conclusions), because it's impossible to control for various things like developer experience.

Instead, common sense is actually the best substitute we have.

[ Parent | on HN ]
Re:Statically-typed error handling in Python using Mypy by weberc2 on Monday December 09, 2019 @07:38AM (#21742075)
Its based on experience and a general consensus among the most experienced developers I know. The research isn’t remotely conclusive; it’s not worth anything until they control for much, much more.
[ Parent | on HN ]