Implement && and ||

[jfecher]

These logical operators are currently unimplemented presumably because they are sugar for if a then b else false and if a then true else b respectively - and if statements are also unimplemented. If keeping lazy evaluation for these operators would be as slow as we believe if will be at runtime - it may be preferable to make these operators strict instead.

[jfecher]

Update: with the approach of preventing side effectful computations in if branches via passing a boolean condition to the side effectful function, we could use that to implement these operators if we want to as well. The naive desugaring to if in my previous comment would automatically benefit from handling side effects this way. Then we can implement it as long as it wouldn't incur a large runtime penalty.

[kevaundray]

@jfecher can this be closed?

[jfecher]

No, it is still a valid design question of whether we want these operators. It could make the Rust -> Noir transition slightly easier for example.