Subject: Re: [boost] Ternary logic programming
From: Michael Caisse (mcaisse-lists_at_[hidden])
Date: 2015-07-05 02:22:43
I think your tablet got confused?
On 07/04/2015 10:54 PM, Gottlob Frege wrote:
> Sorry for top posting, I blame my tablet.
> I see Empty as "I do not know *yet*" (like future). ie Empty == "Value or
> Error eventually"
> So I imagine "Empty && Error" as "(Value or Error) && Error". And for &&
> it doesn't matter what the Empty is, the end result of anything || false ==
> false ie Error.
anything || false == anything
anything && false == false
-- Michael Caisse ciere consulting ciere.com
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk