"Should"?!? Most DO! Short circuit evaluation is the DEFAULT in most programming languages, from ADA to ZPL. You don't want it usually you need compiler directives or other trickery to get around it.
... I can't even think of a language (high level at least) that doesn't do it as the default; and after 40 years of programming you'd think I'd have come across such a thing.