Hacker News Reader

> My students are launching a satellite into low earth orbit that has its primary flight computer running python. Yes, sometimes this does waste a few hundred milliseconds

Never mind performance, would it not be good to at least machine check some static properties? A dynamic language is not a good choice for anything mission critical IMHO.

View on HN

Python has had since Mypy and Pyright since forever.

Even with those retrofits, it's still a language designed for maximum flexibility and maximum ease of use. This has trade offs with regard to reasoning for correctness.

What’s your point? That their type checks are incomplete?

That Python makes the wrong trade-offs for mission critical software. This goes beyond just lacking static types.

Which trade offs do you make when you opt in for full static typing? Except for performance.

Reply on news.ycombinator.com