Re: [boost] [outcome] How to drop the formal empty state

Subject: Re: [boost] [outcome] How to drop the formal empty state
From: Andrzej Krzemienski (akrzemi1_at_[hidden])
Date: 2017-05-31 12:51:05

2017-05-31 14:35 GMT+02:00 Niall Douglas via Boost <boost_at_[hidden]>:

> On 30/05/2017 23:34, Gottlob Frege via Boost wrote:
> >>> Would you not rather manually "predict" for the valued state?
> >>
> >> Predictable latency for success or failure is a key design goal for
> >> Outcome. If you want success to be preferred, choose Expected instead.
> >
> > If success is 0 extra cycles, and failure is 20 extra cycles, it is
> > still predictable, just not equal.
> > ?
>
> No, because for every branch taken on an outcome, you multiply your
> potential runtime execution paths by two. If success and failure are not
> balanced, it totally ruins predictability.

Niall, could you point me to some materials that would explain and justify
why people need this guarantee?

Regards,
&rzej;