Generalize 'and' and 'or' operators

[jckarter]

It would be useful to be able to overload and and or for Maybe, Either, and other monadic types:

var x = maybeA() and maybeB() and maybeC(); // short-circuit maybe chaining (aka ">>=")
var y = maybeA() or maybeB(); // maybe alternation (aka "mplus")
var z = maybeA() or 0; // maybe unpack with default

[ghost]

What's your stance on using 'and', 'or', 'not' keywords instead of the C-like operators (&&,||,!) ? Is this a preference or just a carry over from the Pascal syntax?

[jckarter]

I kind of like and and or because they're prettier and easier to type than the C operators.

[ghost]

Could the variadic-op set-up be used for and & or . . .?

[jckarter]

I'm not sure. I'd like the short-circuit behavior to be inherent in the way and and or desugar, perhaps by having the right-hand side desugar as a lambda.

[jckarter]

This probably isn't necessary anymore, since you could easily define your own && and || as alias functions that do whatever you want.