From: Chris Pine <cpine@...>
Date: 2004-04-05T00:32:56+09:00
Subject: Re: parent of TrueClass, FalseClass

On Sat, 3 Apr 2004 04:39:25 +0900, Ara.T.Howard wrote:
> the "don't care" (maybe) value is a valid value in boolean logic -
> it could actually be useful...

Well, this is true of integers as well, but surely you aren't suggesting that we have some "value" of the Integer class which means "this is an integer, but we don't care which one".  That's not a "value", it's an unknown, a variable.

Clearly there are only two values in boolean logic, but there can be many variables, some of which we might not care about.  However, you can easily have complex interactions between them, for example x and y are boolean variables (so them must be T or F, but maybe we don't care which), however, we require that x and y be equal, but different from some other variable z...

Ruby doesn't do symbolic computation.  One could extend Symbol, I suppose...

:)

Chris