On: Assertions are pessimistic, assumptions are optimi...

[dvh]

Assertions were a mistake. The story is always the same. Someone uses assertions to check for things that can never happen. It works as expected. Then someone else turns off assertions. Then things that cannot happen, happen, and the program thinks everything is OK.

[tpoacher → dvh]

This works exactly as intended then, no?

Turning off assertions is effectively a "you are no longer bound by this contract" action.

If management feels toilet cleaners arent adding value, fires them, and then shit hits the fan, the system works as intended.