← Back to context

Comment by dec0dedab0de

6 years ago

I don't have a problem with yes/no per se , I just don't like that it also takes true/false

I don't have a problem with any of those representations, and also no problem with all of them at the same time.

But not only the value representation keeps the types ambiguous, also there is no off-channel place to disambiguate the types, and no value-independent rules for deciding on the types. If any of those was different, there wouldn't be a problem.