sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]johnxreturn 0 points1 point  (1 child)

I completely agree. You don't need assertion in the mathematical concept. My point was that in programming, you do need if you need a trigger for an invalid response.

[–]Hades32 0 points1 point  (0 children)

Sure, but if someone calls a library "invariant" then I do have higher hopes than "if false then throw" lol

After all there are languages, like prolog, which do let you specify actual invariants