Code is run more than read

Re:Code is run more than read by rustybolt on Friday December 01, 2023 @02:36AM (#38484168)

I think they mean the case where a and b are variables for which you don't know the values.

[ Parent | on HN ]

Re:Code is run more than read by didntcheck on Friday December 01, 2023 @04:31AM (#38484880)

Yeah, that's how I understood it. E.g one might write

  (a+b)^2 != a^2 + b^2

To mean that in general the equality doesn't hold. Despite exceptions like a=b=0

Strictly you should write something like

  ¬[∀ a,b  (a+b)^2 != a^2 + b^2]

But shorthand and abuse of notation are hardly rare

[ Parent | on HN ]

Re:Code is run more than read by didntcheck on Friday December 01, 2023 @06:45AM (#38485715)

Noticed a copy and paste error too late - the != in the second expression should of course be =

[ Parent | on HN ]

Re:Code is run more than read by coldtea on Friday December 01, 2023 @05:56AM (#38485406)

No, that can be the case also for mathematical entities for which you can know the values, not just for "unknown variables".

[ Parent | on HN ]