[Lang] Add option short_circuit_operators for short-circuiting boolean ops

[re-xyr]

Related issue = Fixes #3572

cc @strongoier

ti.init(short_circuit_operators=True)

[CLAassistant]

All committers have signed the CLA.

[netlify]

✔️ Deploy Preview for jovial-fermat-aa59dc canceled.

🔨 Explore the source changes: ecc5e92

🔍 Inspect the deploy log: https://app.netlify.com/sites/jovial-fermat-aa59dc/deploys/61a2d7bc510b850007dd6267

[strongoier]

Great work! Only a tiny thing to notice below.

[lin-hitonami]

IIUC, this method always needs len(node.values) - 1 times of comparison when executing. When the program meets a false in and operation, the comparison after it is not necessary. This can be achieved by generating nested ifs.

[strongoier]

IIUC, this method always needs len(node.values) - 1 times of comparison when executing. When the program meets a false in and operation, the comparison after it is not necessary. This can be achieved by generating nested ifs.

I agree. Your comment reminds me that Python AST treats BoolOp differently from BinaryOp, which naturally fits your suggestion.

@re-xyr FYI https://docs.python.org/3/library/ast.html#ast.BoolOp.

[re-xyr]

this method always needs len(node.values) - 1 times of comparison when executing

nice catch - will fix this. Not sure why Python doesn't just make boolean operators right-associative though.

[lin-hitonami]

Although the expected behavior of bool expressions is to be determined, other parts look good to me. Thanks!

[strongoier]

LGTM! Thanks!