[boost] Ternary logic programming (was: Re: [variant] Maintainer)

Subject: [boost] Ternary logic programming (was: Re: [variant] Maintainer)
From: Niall Douglas (s_sourceforge_at_[hidden])
Date: 2015-07-01 20:49:54

On 1 Jul 2015 at 15:53, charleyb123 . wrote:

> Under an alternative model, the common construct would be something like:
> 
> void foo(...) {
>   return switch_(...) {
>     ...
>   }
> }
> 
> ... and you manage your true/false/unknown cases explicitly.  Works great
> for asynchronous and distributed, and for interfacing-with-hardware.

That's exactly what Rust does. In fact, you'll find yourself either 
writing match x { patterns ... } or using monadic programming. A lot, 
because there is little other choice.

Out of interest, what do you think of my free function ternary logic 
programming:

tribool t;
if(true_(t)) { /* true */ }
else if(false_(t)) { /* false */ }
else if(unknown(t)) { /* other state */ }

Nobody here seemed to like it. I am looking for something the average 
programmer will notice immediately and not accidentally assume it's 
boolen logic going on here.

Niall

-- 
ned Productions Limited Consulting
http://www.nedproductions.biz/ 
http://ie.linkedin.com/in/nialldouglas/