5 ms·
> 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 m
by grumpyprole 2y ago
> 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.
- wiseowise 2y agoPython has had since Mypy and Pyright since forever.
- grumpyprole 2y agoEven 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.
- wiseowise 2y agoWhat’s your point? That their type checks are incomplete?
- grumpyprole 2y agoThat Python makes the wrong trade-offs for mission critical software. This goes beyond just lacking static types.
- wiseowise 2y agoWhich trade offs do you make when you opt in for full static typing? Except for performance.