Re: The cube of lisp booleans (#f nil () #t)

[Neil Jerram]

Mark H Weaver <address@hidden> writes:

> I wrote up a little summary about the new representation of lisp
> booleans.  Maybe something like it will end up in the documentation of
> guile internals.

Really nice!  Do you have ideas/preference for where this should go, or
would you like me to suggest?

> The pictures below are based on representing a value of N bits as an
> N-dimensional hypercube.  In this scheme, the entire space of IFLAGS
> is currently a 4-dimensional hypercube, of which the lisp booleans are
> a 3-dimensional "slice".  Fortunately, we need only think in
> 3-dimensions as long as we only consider the lisp booleans.

This description gives me confidence that your arrangement is the best
possible one.  (As opposed to just being better than what we had
before.)

Regards,
       Neil