in reply to "Can't happen" bugs

(Incidentally, the leading example was inspired by this snippet, seen on one of those Code WTF sites: 

if (myVar == true)
    return true;
else if (myVar == false)
    return false;
else
    return !true && !false;

[download]

Perhaps this was written by someone who is too into intuitionist logic.)

Replies are listed 'Best First'.
Re^2: "Can't happen" bugs
by sgt (Deacon) on Jan 16, 2007 at 21:29 UTC

    actually constructive mathematics (and tertium non datur) is one of my favourite subjects ;) there are lots of systems with non-binary logics, like SQL, OS or... perl ;)

    cheers --stephan
[reply]
      A meditation on non-binary logics in Perl (or indeed other computer systems) will be received with applause, I think :-)
[reply]

In Section Meditations