This is the best bit I think: > The problem is fundamentally a protocol problem: booleans (and other types) are often used to encode program semantics. > Ther

This is the best bit I think: > The problem is fundamentally a protocol problem: booleans (and other types) are often used to encode program semantics. > Therefore, in a sense, a boolean is a serialization protocol for communicating intention from the caller site to the callee site.