But will it run? I’m used to typescript where it’s not checked at runtime but you can’t “build” unsafe types I’d assume it’s the same here

Doesn’t Python 3 have types? I’ve seen a few well typed codebases and it really made the code much easier to understand. Or is it just that it’s not checking them strongly enough?

That was my immediate thought, it’s space exploration, it’s meant to cost more than is reasonable or affordable, because monetary rationale has never been a factor in it. Even if it did pay out in the long run with inventions and discoveries in the past, it’s never going to make budget sense because exploration and pushing our specie’s boundaries shouldn’t be. It’s a miracle what space agencies are/were able to accomplish with super strict budgets in the past, but in the end there’s only so much you can do by cutting corners and letting the private sector fill the gaps

Don’t forget the programming socks trans girl programmer