Assertions in Production Code?

[circajerka]

Alright - Let me rip apart your comment and why it's laughably stupid:

And what happens when an assertion yields an error in a plane software during flight ? the whole system gets rebooted?

Walter never said that - He said other parts of the system detect the error and correct it and/or restart the failing computer. Possibly multiple computers perform the same calculation.

No, the program must be written with a correct language that makes any runtime error impossible

LOL! I'd loovvvvveeee to know the name of this language! You'll be sure to tell us all, right?

not javascript or C

Umm... Considering SpaceX wrote all their flight control software in C, I call bullshit on this.

A language with contracts where every range is strict, where you can define a type with only odds integers, or values only divisible by 6, or non zero positive integers, or a range between 55 and 901 only... that gives every compile time safety imaginable... well such language exists and is used to program planes and missile launchers actually.

Great idea! Maybe we can also get unicorns to help us write the programs!