Nigdy nie miałem pojęcia o twierdzeniach - dlaczego miałbyś ich używać?

To znaczy, powiedzmy, że byłem kierowcą formuły, a wszystkie twierdzenia były takie jak pas bezpieczeństwa, kask itp.

Testy (w debugowaniu) były w porządku, ale teraz chcemy robić wyścigi (wydanie)! Czy powinniśmy porzucić wszystkie zabezpieczenia, ponieważ podczas testowania nie było problemów?

Nigdy ich nie usunę. Myślę, że większość facetów, którzy twierdzą, że usunięcie czegoś porównywalnego do twierdzeń nigdy nie sprofilowało ich kodu lub twierdzenia były absolutnie przesunięte. Nigdy nie widziałem żadnej prawdziwej przewagi wydajności, szczególnie w odniesieniu do zasady 80/20.

Więc, jakoś brakuje mi jakiegoś punktu, czy ktoś mógłby mi powiedzieć, dlaczego powinienem używać twierdzeń? Przy okazji, używam testów jednostkowych.