On 24/01/2018 08:00, Niall Douglas wrote:
What I'm trying to do here is explain how these ValueOrError Concept matching objects are philosophically different in design to the proposed WG21 objects. We model success-vs-failure. They model value-vs-error. That has implications throughout the whole design of Outcome, which the tutorial hopefully covers.
I think VinÃcius' point is that for people unfamiliar with the terms used in WG21 papers, this is a meaningless statement as both terms seem equivalent in general English. Using ValueOrError rather than value-or-error would be some improvement as it hints that you're talking about a specific concept; adding a link to the WG21 paper would be better. However like Vicinius I'm not sure that this is a point that even needs to be made. Additionally, I'm not even sure that it's accurate. We've just had a big [system] discussion expressly about the fact that the presence of an error_code does not necessarily imply failure -- there are some codes that indicate warnings or otherwise qualified successes, and ultimately the decision of what constitutes success is up to the interpretation of the caller, not the callee or the code transport mechanism. The whole thing about "programmable actions in response to no-value" is a good feature but it doesn't sound like it should be described as related to success or failure in those terms.